A Somewhat Open Letter to EAA or: Why I Proved the Boundedness of the Nondeterminacy in the Way I Did

Dijkstra, E. W. (1982). A Somewhat Open Letter to EAA or: Why I Proved the Boundedness of the Nondeterminacy in the Way I Did. In Selected Writings on Computing: A personal Perspective (pp. 284–287). Springer New York. https://doi.org/10.1007/978-1-4612-5695-3_51