"On the Shape of Mathematical Arguments" - читать интересную книгу автора (Antonetta J.M. van Gasteren, Edsger W. Dijkstra)