×
2002
In memoriam: Edsger W. Dijkstra 1930-2002.
[DOI]
Robert S. Boyer
,
W. H. J. Feijen
,
David Gries
,
C. A. R. Hoare
,
Jayadev Misra
,
J. Moore
,
H. Richards
Commun. ACM, 2002
1984
An overview of ARC SASL.
[DOI]
H. Richards
ACM SIGPLAN Notices, 1984