ACM Computing Surveys, Volume 4

Volume 4, Number 1, March 1972

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

Volume 4, Number 2, June 1972

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

Volume 4, Number 3, September 1972

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

Volume 4, Number 4, December 1972

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