Gregor von Bochmann

• Formal Description Techniques VIII
• Testing of Communicating Systems