Rigorous Object-Oriented Methods