This corrigendum was originally published in CACM 21, 12 (December 1978), p. 1048.

1

Dijkstra, E.W., et al. On-the-fly garbage collection: an exercise in cooperation. Notes for the 1975 NATO Summer School on Language Hierarchies and Interfaces, Lecture Notes in Computer Science 46, Springer-Verlag, New York, 1976.

2

C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, v.12 n.10, p.576-580, Oct. 1969  [doi>10.1145/363235.363259]

3

Susan Speer Owicki, Axiomatic proof techniques for parallel programs., 1975

4

Edsger W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, v.18 n.8, p.453-457, Aug. 1975  [doi>10.1145/360933.360975]

5

Hoare, C.A.R., and Wirth, N. An axiomatic definition of the programming language PASCAL. Acta Informatica 2 (1973), 335- 355.

6

Stenning, V. On-the-fly garbage collection. Unpublished notes, 1976.

7

Guy L. Steele, Jr., Multiprocessing compactifying garbage collection, Communications of the ACM, v.18 n.9, p.495-508, Sept. 1975  [doi>10.1145/361002.361005]

8

David Gries, An exercise in proving parallel programs correct, Communications of the ACM, v.20 n.12, p.921-930, Dec. 1977  [doi>10.1145/359897.359903]

Robert L. Ashenhurst, ACM forum, Communications of the ACM, v.20 n.1, p.49-50, Jan. 1977

Tamar Domani , Elliot K. Kolodner , Erez Petrank, A generational on-the-fly garbage collector for Java, ACM SIGPLAN Notices, v.35 n.5, p.274-284, May 2000

Gregory R. Andrews, Synchronizing Resources, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.405-430, Oct. 1981

Guy Lewis Steele, Jr. , Gerald Jay Sussman, Design of a LISP-based microprocessor, Communications of the ACM, v.23 n.11, p.628-645, Nov. 1980

Paul David Stotts, A comparative survey of concurrent programming languages, ACM SIGPLAN Notices, v.17 n.9, p.76-87, September 1982

Guy L. Steele, Jr. , W. Daniel Hillis, Connection Machine Lisp: fine-grained parallel symbolic processing, Proceedings of the 1986 ACM conference on LISP and functional programming, p.279-297, August 1986, Cambridge, Massachusetts, United States

Edsger W. Dijkstra , Leslie Lamport , A. J. Martin , C. S. Scholten , E. F. M. Steffens, On-the-fly garbage collection: an exercise in cooperation, Communications of the ACM, v.21 n.11, p.966-975, Nov. 1978

David J. Roth , David S. Wise, One-bit counts between unique and sticky, ACM SIGPLAN Notices, v.34 n.3, p.49-56, March 1999

Janice M. Stone, A simple and correct shared-queue algorithm using compare-and-swap, Proceedings of the 1990 conference on Supercomputing, p.495-504, October 1990, New York, New York, United States

Tim Hickey , Jacques Cohen, Performance analysis of on-the-fly garbage collection, Communications of the ACM, v.27 n.11, p.1143-1154, Nov. 1984

Mordechai Ben-Ari, Algorithms for on-the-fly garbage collection, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.3, p.333-344, July 1984

K. P. Lee, A linear algorithm for copying binary trees using bounded workspace, Communications of the ACM, v.23 n.3, p.159-162, March 1980

Jacques Cohen, Garbage Collection of Linked Data Structures, ACM Computing Surveys (CSUR), v.13 n.3, p.341-367, Sept. 1981

Guy L. Steele, Jr. , Richard P. Gabriel, The evolution of Lisp, ACM SIGPLAN Notices, v.28 n.3, p.231-270, March 1993

John A. Sharp, Data oriented program design, ACM SIGPLAN Notices, v.15 n.9, p.44-57, September 1980

Gregory R. Andrews, Parallel programs: proofs, principles, and practice, Communications of the ACM, v.24 n.3, p.140-145, March 1981

Ravi Sharma , Mary Lou Soffa, Parallel generational garbage collection, ACM SIGPLAN Notices, v.26 n.11, p.16-32, Nov. 1991

Yasushi Hibino, A practical parallel garbage collection algorithm and its implementation, Proceedings of the 7th annual symposium on Computer Architecture, p.113-120, May 06-08, 1980, La Baule, United States

Susan Owicki, Making the world safe for garbage collection, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.77-86, January 26-28, 1981, Williamsburg, Virginia

Paul David Stotts, A comparative survey of concurrent programming languages, ACM SIGPLAN Notices, v.17 n.10, p.50-61, October 1982

Katherine Barabash , Yoav Ossia , Erez Petrank, Mostly concurrent garbage collection revisited, ACM SIGPLAN Notices, v.38 n.11, November 2003

Hezi Azatchi , Yossi Levanoni , Harel Paz , Erez Petrank, An on-the-fly mark and sweep garbage collector based on sliding views, ACM SIGPLAN Notices, v.38 n.11, November 2003

Gregory R. Andrews , Gary M. Levin, On-the-fly deadlock prevention, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.165-172, August 18-20, 1982, Ottawa, Canada

David Gries, An exercise in proving parallel programs correct, Communications of the ACM, v.20 n.12, p.921-930, Dec. 1977

Guy L. Steele , Richard P. Gabriel, The evolution of Lisp, History of programming languages---II, ACM Press, New York, NY, 1996

Luc Moreau , Peter Dickman , Richard Jones, Birrell's distributed reference listing revisited, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1344-1395, November 2005

Andrew McCreight , Zhong Shao , Chunxiao Lin , Long Li, A general framework for certifying garbage collectors and their mutators, ACM SIGPLAN Notices, v.42 n.6, June 2007

Martin T. Vechev , Eran Yahav , David F. Bacon , Noam Rinetzky, CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors, ACM SIGPLAN Notices, v.42 n.6, June 2007

David S. Wise , Brian Heck , Caleb Hess , Willie Hunt , Eric Ost, Research Demonstration of a Hardware Reference-Counting Heap, Lisp and Symbolic Computation, v.10 n.2, p.159-181, July 1997

Gurindar S. Sohi , Edward S. Davidson , Janak H. Patel, An efficient LISP-execution architecture with a new representation for list structures, ACM SIGARCH Computer Architecture News, v.13 n.3, p.91-98, June 1985

Harel Paz , David F. Bacon , Elliot K. Kolodner , Erez Petrank , V. T. Rajan, An efficient on-the-fly cycle collection, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.4, p.20-es, August 2007

Masahiro Hirata , Toshio Nishimura, A prover for parallel processes, Proceedings of the 6th international joint conference on Artificial intelligence, p.384-389, August 20-23, 1979, Tokyo, Japan

David Gries: colleagues