1. Connor RCH Atkinson MP Berman S Cutts QI Kirby GNC Morrison R “The Joy of Sets” In Database Programming LanguagesNew York City1993, C. Beeri, A. Ohori, D. Shasha (ed), Workshops in Computing, Springer-Verlag 1994, pp 417–433.
2. Atkinson, M. P., Lécluse, C, Philbrow, P., Richard, P. “Design Issues in a Map Language”. In Bulk Types & Persistent Data, Kanellakis, P., Schmidt, J. W. (ed), Morgan Kaufmann (1991) pp 20–32.
3. Connor, R. C. H., Brown, A. L., Cutts, Q. I., Dearie, A., Morrison, R., Rosenberg J. “Type Equivalence Checking in Persistent Object Stores”. In Implementing Persistent Object Bases — Principles and Practice, Morgan Kaufmann, pp 154–170.
4. Mitchell, J. C., Piotkin, G. D. “Abstract Types have Existential Type”. ACM Transactions on Programming Languages and Systems 10, 3 (1988) pp 470–502.
5. Milner, R., Tofte, M., Harper, R. The Definition of Standard ML. MIT Press, Cambridge, Massachusetts (1989).