A method of programming - Dijkstra, Edsger W., 1930-2022 (Addison-Wesley Publishing Company, 1998)