E. W. Dijkstra

• Constructive Methods in Computing Science
• Control Flow and Data Flow