Assertions in Modern Software Engineering Practice.

C. A. R. Hoare

Browse the full COMPSAC paper archive.