Operations on records (1991)

by Luca Cardelli, John C Mitchell
Venue:Mathematical Structures in Computer Science 1