Automata on in objects, in: J. van Leeuwen (Ed.), Handbook of theoretical computer science, Vol B: Formal models and semantics (1990)

by W Thomas
Venue:Chapter 4, Elsevier Science Publ