Assertions: A Personal Perspective (Computer Software, 2001)

(untitled) - Hoare, C