Formal Object Oriented Specification Using Object-Z by Gordon Rose & Roger Duke