Denotational semantics of object specification Amílcar SernadasCristina SernadasCarlos Caleiro Pages: 729 - 773