A Framework for Strong Typing and Type Inference in (Persistent) Object Models.

Alfons Kemper Guido Moerkotte A Framework for Strong Typing and Type Inference in (Persistent) Object Models. 257-263 1991 DEXA db/conf/dexa/dexa91.html#KemperM91