Boris A. Trakhtenbrot Automata and Their Interaction: Definitional Suggestions. 54-89 http://link.springer.de/link/service/series/0558/bibs/1684/16840054.htm 1999 conf/fct/1999 FCT db/conf/fct/fct99.html#Trakhtenbrot99