EWD 570: An exercise for Dr R. M. Burstall (1982)

by Edsger W Dijkstra
Venue:In Selected Writings on Computing: A Personal Perspective