Modular Denotational Semantics (1979)

by P Mosses