A Type System that Reconciles Classes and Extents (1991)

by P Buneman, A Ohori
Venue:Theoretical Computer Science