Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition

• Authors:

• Dines Bjørner

• Affiliations:

• -

• Venue:
• The Vienna Development Method: The Meta-Language
• Year:
• 1978