An introduction to input/output automata, in “Centrum voor Wiskunde en Informatica Quarterly (1988)

by N LYNCH, M TUTTLE