A basic abstract semantic algebra, in: Semantics of data types, international symposium, Sophia-Antipolis (1984)

by G Kahn, D B MacQueen, G Plotkin
Venue:Lecture notes in computer science