1. Interface automata;Alfaro,2001
2. Process Algebra;Baeten,1990
3. Christie Bolton, Jim Davies, A singleton failures semantics for Communicating Sequential Processes, Research Report PRG-RR-01-11, Oxford University Computing Laboratory, 2001.
4. E. Brinksma, G. Scollo, Formal notions of implementation and conformance in LOTOS, Technical Report INF-86-13, Twente University of Technology, Department of Informatics, Enschede, The Netherlands, 1986.
5. Testing equivalences for processes;de Nicola;Theoretical Computer Science,1984