François Bancilhon Setrag Khoshafian A Calculus for Complex Objects. 326-340 1989 38 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss38.html#BancilhonK89