Algebraic theory of processes - Hennessy, Matthew (MIT Press series in the foundations of computing, 1988)