Algebraic Theory of Processes (1988)

by M Hennessy