A Review of Object-Oriented Approaches in Formal Specification