Igor D.D. Curcio
-
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering