@ARTICLE {2550,
author={A. Sernadas and C. Sernadas and C. Caleiro},
doi={},
journal={Acta Informatica},
title={Denotational Semantics of Object Specification},
year={1998},
month={January},
volume={35},
number={-},
pages={729-773},
ISSN={1432-0525}
}