Daniel M. Berry Richard L. Schwartz United and Discriminated Record Types in Strongly Typed Languages. 13-18 1979 9 Inf. Process. Lett. 1 db/journals/ipl/ipl9.html#BerryS79