TY  - RPRT
TI  - Edsger W. Dijkstra: a Commemoration
AU  - Krzysztof R. Apt
AU  - Tony Hoare
PY  - 2021
UR  - https://arxiv.org/abs/2104.03392
ID  - 2104.03392
ER  -