@article{Barkalov:2009,
author
=
"O.Barkalov and A.Bukowiec",
title
=
"Synthesis of mealy finite states machines for interpretation of verticalized flow-charts",
journal
=
"Informatyka Teoretyczna i Stosowana",
volume
=
"R. 5",
number
=
"nr 8",
pages
=
"39--51",
year
=
"2005",
}