Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science) | lit.salon