1. Aceto, L.: Action Refinement in Process Algebras. CUP, London (1992)
2. Boiten, E.A., Derrick, J.: IO-refinement in Z. In: Evans, A., Duke, D.J., Clark, T. (eds.) 3rd BCS-FACS Northern Formal Methods Workshop, September 1998. Springer, Heidelberg (1998), http://www.ewic.org.uk/
3. Bolton, C., Davies, J.: A Singleton Failures Semantics for Communicating Sequential Processes. In: Formal Aspects of Computing. Under consideration (2002)
4. Lecture Notes in Computer Science;C. Bolton,2002
5. Lecture Notes in Computer Science;J. Derrick,1999