A method of verification of microprogram automata
<back>