Mosses, Peter D. Mathematical Semantics and Compiler Generation. D.Phil. dissertation, University of Oxford, 1975.
(1975)
Languages mentioned
DSL
{1975} Specification language