A polymorphic calculus for views and object sharing (1994)

by A Ohori, K Tajima
Venue:In PODS’94