The Vienna Development Method: The Meta-Language - Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition
link.springer.com