@ARTICLE {2724,
author={C. Caleiro},
doi={},
journal={INESC Journal on Junior Activities in Science and Technology},
title={Operational semantics of temporal object specification},
year={1994},
month={January},
volume={1},
number={1},
pages={7-35},
ISSN={}
}