Assertions in Modern Software Engineering Practice - Hoare, C (IEEE, 2002)