Omar Rafiq

• Formal Description Techniques VIII
• Protocol Text Systems, VI