Denotational Semantics of Object Specification (1998)

by Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
Venue:ACTA INFORMATICA