title: a logical foundation for deductive object-oriented databases m liu , g dobbie , t ling acm trans . database syst . 2002. authors: nan. venue: nan. year: nan
title: an object-oriented specification for compiler 1992.0. authors: pc wu , fj wang. venue: acm sigplan notices ,. year: nan