Specification and analysis of concurrent systems The COSY approach - Janicki, Ryszard; Lauer, Peter E. (Springer-Verlag, 1992)
βιβλιογραφία σσ.407-422