"Mathematics of Program Construction" - читать интересную книгу автора (Jan L.A. van de Snepscheut)