ACM Computing Surveys, Volume 4

Volume 4, Number 1, March 1972

• Peter J. Denning: A Note on Paging Drum Efficiency. 1-3 BibTeX
• Peter Wegner: The Vienna Definition Language. 5-63 BibTeX

Volume 4, Number 2, June 1972

• W. R. Schucany, Paul D. Minton, B. Stanley Shannon Jr.: A Survey of Statistical Packages. 65-79 BibTeX
• Jürg Nievergelt, J. C. Farrar: What Machines Can and Cannot Do. 81-96 BibTeX
• Bernard Elspas, Karl N. Levitt, Richard J. Waldinger, Abraham Waksman: An Assessment of Techniques for Proving Program Correctness. 97-147 BibTeX

Volume 4, Number 3, September 1972

• Leon Presser, John R. White: Linkers and Loaders. 149-167 BibTeX
• C. A. R. Hoare, Donald C. S. Allison: Incomputability. 169-178 BibTeX
• Richard C. Holt: Some Deadlock Properties of Computer Systems. 179-196 BibTeX

Volume 4, Number 4, December 1972

• Byron W. Stutzman: Data Communication Control Procedures. 197-220 BibTeX
• Bruce H. Barnes: A Programmer's View of Automata. 221-239 BibTeX
• Theodore C. Willoughby: Staffing the MIS function. 241-259 BibTeX