Jim Melton, Jonathan Bauer, Krishna G. Kulkarni: Object ADTs (with improvements for Value ADTs). ANSI X3H2 DBL:ARL-029 X3H2-91-083rev1 (1991)