An introduction to Input/Output Automata (1989)

by N A Lynch, M Tuttle
Venue:CWI Quarterly