A collection of contributions on programming theory in computer science and mathematics, celebrating the work of Edsger W. Dijkstra.
W.H.J. Feijen
algorithm algorithms automata complexity palindrome programming real-time semantics verification