Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition.
VenueBFM
Year1978
ProceedingsThe Vienna Development Method: The Meta-Language
DBLP recordconf/fm/Bjorner78a ↗
Browse the full FM paper archive.