@book{Barkalov:2008,
author
=
"O.Barkalov and L.Titarenko",
title
=
"Logic synthesis for compositional microprogram control units, ISBN: 9783540692836",
publisher
=
"Springer-Verlag",
address
=
"Berlin",
series
=
"Lecture Notes in Electrical Engineering, 22",
year
=
"2008",
pages
=
"272",
}