Abstract eemantic algebras! In: D. Bjgmer (Ed.), Formal description of programming concepts (1982)

by P Mosses
Venue:In: Semantics of data type, Lecture Notes in Computer Science