An introduction to Input/Output automata. Centrum voor Wiskunde en Informatica (1989)

by Nancy Lynch, Mark Tuttle