Assertions in Programming: From Scientific Theory to Engineering Practice - Hoare, C (Soft−Ware 2002: Computing in an Imperfect World‚ First International Conference‚ Soft−Ware 2002‚ Belfast‚ Northern Ireland‚ April 8−10‚ 2002‚ Proceedings, 2002)