SIMPLE

Language for the Specification of Protocols, Similar to Natural Language