Peter Juliff Program Control by State Transition Tables. 146-152 1980 12 Australian Computer Journal 4 db/journals/acj/acj12.html#Juliff80