M.: The categorical abstract machine (1987)

by G Cousineau, P L Curien, Mauny
Venue:Science of Computer Programming