The denotational semantics of sequential machines (1980)

by M J C Gordon
Venue:Information Processing Letters