Object-oriented programming-the problems of validation. - M. D. Smith; D. J. Robson (ICSM, 1990)