title: procedures in object-oriented query languages. authors: k subieta , y kambayashi , j leszczylowski. venue: vldb. year: 1995
title: declaring and checking non-null types in an object-oriented language. authors: m fahndrich. venue: nan. year: nan