Algebraic Theory of Processes Cambridge (1988)

by M C B Hennessy