FEATURES: Specification and Implementation of Mutual Exclusion P.B. Hansen, Department of Computer Science, University of Southern California J. Staunstrup; An Application of a Method for Analysis of Cyclic Programs N. Francez, Department of Computer Science, University of Southern California; Program Optimization Using Invariants S. Katz, IBM-Israel Scientific Center; An Optimal Approach to Fault Tolerant Software Systems Design T.F. Gannon, Sperry Univac Technical Research Center S.D. Shapiro; An Approach to Formal Definitions and Proofs of Programming Principles J. Misra, Department of Computer Science, University of Texas; Syntactic Error Correction in Programming Languages null Kuo-Chung Tai, Department of Computer Science, North Carolina State University; Formal Modeling of Virtual Machines A.B. Cremers, Informatics Department, University of Dortmund; An Analysis of “Distributed Free Space” in an Operating and Data Management Systems Environment Y.H. Chin, Department of Computer and Information Science, Cleveland State University; Towards Automatic Auditing of Records R.C.T. Lee, Institute of Computer and Decision Sciences, National Tsing Hua University.