An introduction to input/output automata (1989)

by N A Lynch, M R Tuttle
Venue:CWI Quarterly