Prevention is Better than a Cure. Java Report (1995)

by Mike Mannion, Roy Phillips
Venue:Sept.1998. S.Porat and P.Fertig. Class Assertions in C++. Journal of Object Oriented Programming