@ARTICLE {2553,
author={A. Sernadas and C. Sernadas and J. F. Costa},
doi={},
journal={Journal of Logic and Computation},
title={Object Specification Logic},
year={1995},
month={January},
volume={5},
number={5},
pages={603-630},
ISSN={0955-792X}
}