Strengthening Method Contracts for Objects. - Gupta, Atul; Raj, Amit (2006)