TY - BOOK AU - Hennessy, M TI - Algebraic theory of processes N1 - D6,8(B) M825 ER -