M.: An Introduction to Input/Output Automata (1989)

by N Lynch, Tuttle
Venue:CWI Quarterly