A basic abstract semantic algebra. Pages 87–107 of (1984)

by Peter D Mosses
Venue:eds), Semantics of data types: International symposium, Sophia-Antipolis, france. Springer-Verlag. Lecture Notes in Computer Science