Persistence and Type Abstraction Revisited. - Atsushi Ohori; Ivan Tabkha; Richard C. H. Connor; Paul Philbrow (POS, 1990)