M.: An introduction to input/output automata. Centrum voor Wiskunde en Informatica 2(3 (1989)

by N Lynch, Tuttle