External Links

Journal: Communications of the ACM

Volume 22, Issue 5

271 -- 280Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis. Social Processes and Proofs of Theorems and Programs
281 -- 283Ernest J. H. Chang, Rosemary Roberts. An Improved Algorithm for Decentralized Extrema-Finding in Circular Configurations of Processes
283 -- 289Theodor D. Sterling. Consumer Difficulties With Computerized Transactions: An Empirical Investigation
290 -- 299John C. Reynolds. Reasoning About Arrays
299 -- 309Michael J. Manthey. A Model for and Discussion of Multi-Interpreter Systems
runs on