Denotational semantics (1990)

by P D Mosses
Venue:Handbook of Theoretical Computer Science, Vol. B, Chapter 11