a specification and verification system," in Proceedings IFIP 80, pp
Operational specification as the basis for rapid prototyping