Luca Cardelli, David B. MacQueen: Persistence and Type Abstraction. Data Types and Persistence (Appin) 1985: 31-41