Algebraic Theory of Processes. Foundations of Computing Series (1988)

by M Hennessy