Malcolm P. Atkinson, Philippe Richard, Philip W. Trinder: Bulk Types for Large Scale Programming. East/West Database Workshop 1990: 228-250