Deborah A. Baker David A. Fisher Jonathan C. Shultis Persistence and Type Integrity in a Software Development Environment. 429-442 1987 conf/pos/1987 POS db/conf/pos/pos1987.html#BakerFS87