Luca Cardelli, David B. MacQueen. Persistence and Type Abstraction. In Malcolm P. Atkinson, Peter Buneman, Ronald Morrison, editors, Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, August 1985. Topics in Information Systems, pages 31-41, Springer, 1985. [doi]