Malcolm P. Atkinson Philippe Richard Philip W. Trinder Bulk Types for Large Scale Programming. 228-250 1990 East/West Database Workshop db/conf/ewdw/ewdw90.html#AtkinsonRT90 http://dx.doi.org/10.1007/3-540-54141-1_13