Assertions: A Personal Perspective - Hoare, C (Computer Software, 2001)