A basic abstract semantic algebra (1984)

by Peter D Mosses
Venue:In Proc. Int. Symp. on Semantics of Data Types (Sophia-Antipolis