Action refinement in process algebras - Aceto, Luca (Cambridge University Press, 1992)
βιβλιογραφία: σσ. 265-271 περιέχει ευρετήριο