Handbook of Theoretical Computer (1990)

by P D Mosses
Venue:chapter Denotational Semantics