Algebraic theory of processes - Hennessy, Matthew (Massachusetts Institute of Technology Cambridge Mass., 1988)
βιβλιογραφικές αναφορές: σσ.268-270