David S. Rosenblum Towards a Method of Programming With Assertions. 92-104 1992 ICSE http://doi.acm.org/10.1145/143062.143098 db/conf/icse/icse92.html#Rosenblum92