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

by N Lynch, M Tuttle
Venue:Informatica