Recursive Object Types in a Logic of Object-Oriented Programs