Denotational Semantics. Chapter (1990)

by P D Mosses
Venue:in Handbook of Theoretical Computer Science (North-Holland