D. J. Andrews

Semantics of Specification Languages (SoSL)