A Proof of a Theorem Communicated to Us by S. Ghosh

Dijkstra, E. W., & Scholten, C. S. (1982). A Proof of a Theorem Communicated to Us by S. Ghosh. In Selected Writings on Computing: A personal Perspective (pp. 233–234). Springer New York. https://doi.org/10.1007/978-1-4612-5695-3_42