Denotational semantics of object specification (1998)

by A Sernadas, C Sernadas, C Caleiro
Venue:Acta Informatica