Return to Article Details Towards Formalizing OO Models: A Case Study Download Download PDF