David Gries. Development of Correct Programs. In Krzysztof R. Apt, Tony Hoare, editors, Edsger Wybe Dijkstra: His Life, Work, and Legacy. pages 141-168, ACM / Morgan & Claypool, 2022. [doi]
@incollection{Gries22, title = {Development of Correct Programs}, author = {David Gries}, year = {2022}, doi = {10.1145/3544585.3544594}, url = {https://doi.org/10.1145/3544585.3544594}, researchr = {https://researchr.org/publication/Gries22}, cites = {0}, citedby = {0}, pages = {141-168}, booktitle = {Edsger Wybe Dijkstra: His Life, Work, and Legacy}, editor = {Krzysztof R. Apt and Tony Hoare}, publisher = {ACM / Morgan & Claypool}, isbn = {978-1-4503-9773-5}, }