@book{Barkalov:2009,
author
=
"O.Barkalov and L.Titarenko",
title
=
"Synthesis of operational and control automata, ISBN: 9668248031",
publisher
=
"TechPark DonNTU Unitech",
address
=
"Donetsk",
year
=
"2009",
pages
=
"254",
}