Journal: Communications of the ACM

Volume 23, Issue 10

546 -- 555Donald R. Chand, Surya B. Yadav. Logical Construction of Software
556 -- 563Henry F. Ledgard, John A. Whiteside, Andrew Singer, William Seymour. The Natural Language of Interactive Systems
564 -- 572Yonathan Bard. A Model of Shared DASD and Multipathing
573 -- 583K. Mani Chandy, Charles H. Sauer. Computational Algorithms for Product Form Queueing Networks
584 -- 593Dominique Potier, Ph. Leblanc. Analysis of Locking Policies in Database Management Systems