A list of Computer Science Technical Reports

• Carl Petri, Communication with Automata , Report RADC-TR-65-377, Vol.1, Supplement 1, from Reconnaissance-Intelligence Data Handling Branch, Rome Air Development Center, Griffiss Air Force Base, NY, (January 1966), 89 pages.

• Joseph O'Brien, Computer Program for Automatic Spelling Correction , Report RADC-TR-66-696, from Research and Technology Division, Rome Air Development Center, Griffiss Air Force Base, NY, (March 1967), pages.

• Anatol Holt, et al., Information System Theory Project , Report RADC-TR-68-305, from Air Force Systems Command, Rome Air Development Center, Griffiss Air Force Base, NY, (September 1968), 352 pages.

• Herbert Haynes, Extended Simple Precedence Syntactic Analysis , Report TSN-8, from Computation Center, University of Texas, Austin, TX 78712, (July 1969), 63 pages.

• Herbert Haynes, An Optimizing Compiler for an Extended Version of the Floyd-Evans Pro , Report TRM-12, from Computation Center, University of Texas, Austin, TX 78712, (March 1969), 25 pages.

• Jorge Rodriguez, A Graph Model for Parallel Computations , Report ESL-R-398, MAC-TR-64, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (September 1969), 120 pages.

• D. Knuth & R. Floyd, Notes on Avoiding "GO TO" Statements , Report CS 148, from Computer Science Department, Stanford University, Stanford, CA 94305, (January 1970), 15 pages.

• Zohar Manna & Richard Waldinger, Towards Automatic Program Synthesis , Report CS 174, from Computer Science Department, Stanford University, Stanford, CA 94305, (July 1970), 54 pages.

• Donald Knuth, An Empirical Study of Fortran Programs , Report CS 186, from Computer Science Department, Stanford University, Stanford, CA 94305, (November 1970), 42 pages.

• Suhas Patil, Coordination of Asynchronous Events , Report MAC TR-72, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (June 1970), 234 pages.

• David Clark, et al., The Classroom Information and Computing Service , Report MAC TR-80, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (January 1971), 278 pages.

• Seymour Papert, A Computer Laboratory for Elementary Schools , Report AI Memo No. 246, from MIT Artificial Intelligence Laboratory, 545 Technology Square, Cambridge, MA 02139, (October 1971), 20 pages.

• Seymour Papert & Cynthia Solomon, Twenty Things to Do With A Computer , Report AI Memo No. 248, from MIT Artificial Intelligence Laboratory, 545 Technology Square, Cambridge, MA 02139, (June 1971), 40 pages.

• Edward Ashcroft & Zohar Manna, The Translation of 'GO TO' Programs to 'WHILE' Programs , Report STAN-CS-71-188, from Computer Science Department, Stanford University, Stanford, CA 94305, (January 1971), 29 pages.

• Donald Knuth, The Art of Computer Programming -- Errata et Addenda , Report STAN-CS-71-194, from Computer Science Department, Stanford University, Stanford, CA 94305, (January 1971), 28 pages.

• Michael Malcolm, PL360 (Revised) A Programming Language for the IBM 360 , Report STAN-CS-71-215, from Computer Science Department, Stanford University, Stanford, CA 94305, (May 1971), 91 pages.

• Daniel Ignalls, FETE Fortran Execution Time Estimator , Report STAN-CS-71-204, from Computer Science Department, Stanford University, Stanford, CA 94305, (February 1971), 10 pages.

• V. Cerf, et al., Formal Control-Flow Properties of A Model of Computation , Report UCLA-10P14-105, UCLA-ENG-7178, from Computer Science Department, University of California at Los Angeles, Los Angeles, CA 90024, (December 1971), 58 pages.

• Leonard Shar, Design and Scheduling of Statically Configured Pipelines , Report 42, from Digital Systems Laboratory, Stanford Electronics Laboratories, Stanford University, Stanford, CA 94305, (September 1972), 172 pages.

• William Riddle, The Modeling and Analysis of Supervisory Systems , Report STAN-CS-72-271, from Computer Science Department, Stanford University, Stanford, CA 94305, (March 1972), 173 pages.

• J. Gray, et al., The Control Structure of an Operating System , Report RC-3949, from IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, (July 1972), 72 pages.

• Wilhelm Burger, EULER 6600: A Generalization and Extension of ALGOL , Report TRM-20, from Computation Center, University of Texas, Austin, TX 78712, (March 1972), 47 pages.

• Niklaus Wirth, On "PASCAL", Code Generation, and the CDC 6000 Computer , Report STAN-CS-72-257, from Computer Science Department, Stanford University, Stanford, CA 94305, (February 1972), 38 pages.

• Jerome Feldman, Automatic Programming , Report CS-255, from Computer Science Department, Stanford University, Stanford, CA 94305, (February 1972), 18 pages.

• Michael Hack, The Godelization of Petri Nets and Vector Addition Systems , Report Computation Structures Note 10, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (May 1973), 9 pages.

• Clifford Hollander, Decompilation of Object Programs , Report 54, from Digital Systems Laboratory, Stanford Electronics Laboratories, Stanford University, Stanford, CA 94305, (January 1973), 175 pages.

• Seymour Papert, Uses of Technology to Enhance Education , Report AI Memo No. 298, from MIT Artificial Intelligence Laboratory, 545 Technology Square, Cambridge, MA 02139, (June 1973), 109 pages.

• C. Hoare, Recursive Data Structures , Report STAN-CS-73-400, from Computer Science Department, Stanford University, Stanford, CA 94305, (October 1973), 32 pages.

• Donald Knuth, Sorting and Searching - Errata and Addenda , Report STAN-CS-73-392, from Computer Science Department, Stanford University, Stanford, CA 94305, (October 1973), 35 pages.

• C. Hoare, Hints on Programming Language Design , Report STAN-CS-73-403, from Computer Science Department, Stanford University, Stanford, CA 94305, (December 1973), 29 pages.

• Shigeru Igarashi, et al., Automatic Program Verification I: A Logical Basis and Its Implementaton , Report STAN-CS-73-365, from Computer Science Department, Stanford University, Stanford, CA 94305, (May 1973), 53 pages.

• C. Hoare, Monitors: An Operating System Structuring Concept , Report STAN-CS-73-401, from Computer Science Department, Stanford University, Stanford, CA 94305, (November 1973), 25 pages.

• Staff, Bibliography of Computer Science Reports , Report STAN-CS-73-395, from Computer Science Department, Stanford University, Stanford, CA 94305, (October 1973), pages.

• Michael Fischer & Michael Rabin, Super-Exponential Complexity of Presburger Arithmetic , Report MAC Technical Memorandum 43, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (February 1974), 24 pages.

• E. Aron, Notes on Compiler Optimization , Report 74-8, from Department of Computer Science, The Hebrew University of Jerusalem, Jerusalem, Israel, (February 1974), 57 pages.

• Richard Sites, Proving the Computer Programs Terminate Cleanly , Report STAN-CS-74-418, from Computer Science Department, Stanford University, Stanford, CA 94305, (May 1974), 139 pages.

• Richard Sites, Some Thoughts on Proving Clean Termination of Programs , Report STAN-CS-74-417, from Computer Science Department, Stanford University, Stanford, CA 94305, (May 1974), 38 pages.

• Howard Sturgis, A Postmortem for a Time Sharing System , Report CSL 74-1, from Xerox PARC, 3180 Porter Drive, Palo Alto, CA 94304, (January 1974), 95 pages.

• Randall Davis & Margaret Wright, Stanford Computer Science Department Research Report , Report STAN-CS-74-405, from Computer Science Department, Stanford University, Stanford, CA 94305, (January 1974), 34 pages.

• Tilak Agerwala, A Complete Model for Representing the Coordination of Asynchronous Pr , Report 32, from Research Program in Computer Systems Architecture, Computer Science Program, The Johns Hopkins University, Baltimore, MD 21218, (July 1974), 58 pages.

• Tilak Agerwala, An Analysis of Controlling Agents for Asynchronous Processes , Report CHO-3288-35, from Research Program in Computer Systems Architecture, Computer Science Program, The Johns Hopkins University, Baltimore, MD 21218, (August 1974), 85 pages.

• Barbara Liskov & Stephen Zilles, Programming With Abstract Data Types , Report Computation Structures Group Memo 99, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (March 1974), 27 pages.

• Michael Tindall, An Interactive Compile-Time Diagnostic System , Report UIUCDCS-R-75-748, from Department of Computer Science, University of Illinois, Urbana, IL 61801, (October 1975), 166 pages.

• Massachusetts Computer Associates, Inc., Development of Theoretical Foundations for Description and Analysis o , Report CADD-7503-1411, from Massachusetts Computer Associates, Inc., 26 Princess Street, Wakefield, MA 01880, (March 1975), pages.

• Lawrence Landweber, Properties of Vector Addition Systems , Report 258, from Computer Sciences Department, University of Wisconsin-Madison, 1210 W. Dayton Street, Madison, WI 53706, (June 1975), 16 pages.

• Niklaus Wirth, PASCAL-S: A Subset and its Implementation , Report IFI/TR 12, from Institut fur Informatik, Eidgenossische Technische Hochschule (ETH), Clausiusstrasse 55, Zurich, CH-8092, Switzerland, (June 1975), 61 pages.

• C. Petri, Interpretations of Net Theory , Report 75-07, from Gesellschaft fur Mathematik und Datenverarbeitung MBH Bonn, Institut fur Informationssystemforschung (ISF), Postfach 1240, Schloss Birlinghoven, St. Augustin 1, D-5205, West Germany, (October 1975), 34 pages.

• Alan Snyder, A Portable Compiler for the Language C , Report MAC TR-149, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (May 1975), 74 pages.

• Jerry Johnson, Program Restructuring for Virtual Memory Systems , Report MAC TR-148, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (March 1975), 213 pages.

• W. Schulze, Eine Klasse von Speicherverwaltungssystemen , Report 233, from Forschungsinstitut fur Funk und Mathematik, Forschungsgesellschaft fur Angewandte Naturwissenschaften, Bergstrasse 2, Meckenheim, D-5309, West Germany, (September 1975), 51 pages.

• P. Dubost & J. Trousse, Software Implementation of a New Method of Combinatorial Hashing , Report STAN-CS-75-511, from Computer Science Department, Stanford University, Stanford, CA 94305, (September 1975), 35 pages.

• Kung-Song Weng, Stream-Oriented Computation in Recursive Data Flow Schemas , Report MAC Technical Memorandum 68, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (October 1975), 93 pages.

• Robert Keller, On Formal Verification of Parallel Programs , Report 186, from Computer Science Laboratory, Department of Electrical Engineering, Princeton University, Princeton, NJ 08540, (June 1975), pages.

• Odd Pettersen, Synchronization of Concurrent Processes , Report STAN-CS-75-502, AIM-262, from Computer Science Department, Stanford University, Stanford, CA 94305, (July 1975), 13 pages.

• A. Yao & D. Knuth, Analysis of the Subtractive Algorithm for Greatest Common Divisors , Report STAN-CS-75-510, from Computer Science Department, Stanford University, Stanford, CA 94305, (September 1975), 11 pages.

• Edwin Satterthwaite, Source Language Debugging Tools , Report STAN-CS-75-494, from Computer Science Department, Stanford University, Stanford, CA 94305, (May 1975), 338 pages.

• D. Ritchie, et al., The C Programming Language , Report 31, from, Bell Laboratories, Murray Hill, NJ 07974, (October 1975), 80 pages.

• R. Kurki-Suonio, Towards Better Structured Definitions of Programming Languages , Report STAN-CS-75-500, from Computer Science Department, Stanford University, Stanford, CA 94305, (September 1975), 29 pages.

• David Endres, The Generality of Some Multi-Process Synchronization and Communication , Report RSSM/7, from Department of Computer and Communication Sciences, University of Michigan, Ann Arbor, MI 48104, (April 1975), 24 pages.

• Eric Hehner, Merlin: Towards an Ideal Programming Language , Report CSRG-57, from Computer Systems Research Group, University of Toronto, Toronto, Ontario M5S 1A1, Canada, (July 1975), 83 pages.

• John Sanguinetti, Proposal for an Operating System Design Methodology , Report RSSM/6, from Department of Computer and Communication Sciences, University of Michigan, Ann Arbor, MI 48104, (May 1975), 8 pages.

• Dianne Britton & David Hanson, Generated Code for PASCAL-10 , from Department of Computer Science, University of Arizona, Tucson, AZ 85721, (December 1975), 20 pages.

• L. Landweber & E. Robertson, Properties of Conflict Free and Persistent Petri Nets , Report 264, from Computer Sciences Department, University of Wisconsin-Madison, 1210 W. Dayton Street, Madison, WI 53706, (December 1975), 30 pages.

• J. Noe & T. Kehl, A Petri Net Model of a Modular, Microprogrammable Computer (LM2) , Report 75-09-01, from Department of Computer Science, University of Washington, Seattle, WA 98195, (1975), 16 pages.

• Mark Welter, MTEM: A Message Transfer Expression Derivation Program , Report RSSM/15, from Department of Computer and Communication Sciences, University of Michigan, Ann Arbor, MI 48104, (November 1975), 9 pages.

• Jan Cuny, A Comparison of Two System Modeling Schemes , Report RSSM/18, from Department of Computer and Communication Sciences, University of Michigan, Ann Arbor, MI 48104, (November 1975), 34 pages.

• Morton Hoffman, An Algorithm for Distributed Scheduling with Implicit Synchronization , Report RSSM/19, from Department of Computer and Communication Sciences, University of Michigan, Ann Arbor, MI 48104, (October 1975), 13 pages.

• James Meyer & Robert Nachbar, The VM/370 Network , Report RC 5531, from IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, (July 1975), 21 pages.

• G. Hochweller, et al., LABS/7 - A Distributed Real-Time Operating System , Report RJ 1638, from IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, (September 1975), 36 pages.

• Frederick Druseikis, The Design of Transportable Interpreters , Report S4D49, from Department of Computer Science, University of Arizona, Tucson, AZ 85721, (February 1975), 178 pages.

• John Wick, Automatic Generation of Assemblers , Report 50, from Department of Computer Science, 10 Hillhouse, Yale University, New Haven, CT 06520, (December 1975), 247 pages.

• Robert Sedgewick, Quicksort , Report STAN-CS-75-492, from Computer Science Department, Stanford University, Stanford, CA 94305, (May 1975), 344 pages.

• J. Demco & T. Marsland, A Complete PDP-11 Emulation , Report TR75-13, from Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada, (August 1975), 33 pages.

• Kuo Yen Wen, Interprocessor Connections -- Capabilities, Exploitation and Effectiveness , Report UIUCDCS-R-76-830, from Department of Computer Science, University of Illinois, Urbana, IL 61801, (October 1976), 170 pages.

• E. Best, The SOLO Operating System Described by Petri Nets , Report ASM/8, from Computing Laboratory, Claremont Tower, Claremont Road, University of Newcastle Upon Tyne, Newcastle Upon Tyne, England NE1 7RU, United Kingdom, (August 1976), 23 pages.

• E. Best, Incorporation of Path Notation into a Programming Language , Report ASM/9, from Computing Laboratory, Claremont Tower, Claremont Road, University of Newcastle Upon Tyne, Newcastle Upon Tyne, England NE1 7RU, United Kingdom, (August 1976), 8 pages.

• A. Agrawala & R. Larsen, Distributed Computing - a Review , Report TR-484, from Computer Science Department, University of Maryland, College Park, MD 20742, (September 1976), 44 pages.

• Avrum Itzkowitz, The Considerations of Job Load on the Structure of Operating Systems , Report UIUCDCS-R-76-792, from Department of Computer Science, University of Illinois, Urbana, IL 61801, (May 1976), 77 pages.

• C. Snow, An Exercise in the Transportation of an Operating System , Report 94, from Computing Laboratory, Claremont Tower, Claremont Road, University of Newcastle Upon Tyne, Newcastle Upon Tyne, England NE1 7RU, United Kingdom, (December 1976), 22 pages.

• R. Davis & M. Wright, Stanford Computer Science Department Research Report , Report STAN-CS-76-405, from Computer Science Department, Stanford University, Stanford, CA 94305, (January 1976), 41 pages.

• J. Saltzer, Name Binding in Information Systems , Report Request for Comments No. 131, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (December 1976), 94 pages.

• Peter Lutz & Thomas Mathieu, User's Manual for the Programming Language Blaise Version 1 , Report 118, from Department of Computer Science, State University of New York at Buffalo, Amherst, NY 14226, (June 1976), 68 pages.

• Michel Hack, Decidability Questions for Petri Nets , Report 161, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (June 1976), 194 pages.

• Urs Ammann, On Code Generation in a PASCAL Compiler , Report 13, from Institut fur Informatik, Eidgenossische Technische Hochschule (ETH), Clausiusstrasse 55, Zurich, CH-8092, Switzerland, (April 1976), 40 pages.

• Barbara Liskov, An Introduction to CLU , Report Computation Structures Group Memo 136, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (February 1976), 17 pages.

• Edward Fisher, The Use of Context in Character Recognition , Report 76-12, from Department of Computer and Information Science, University of Massachusetts at Amherst, Amherst, MA 01003, (July 1976), 173 pages.

• Ashok Saxena, A Verified Specification of a Hierarchical Operating System , Report 107, from Digital Systems Laboratory, Stanford Electronics Laboratories, Stanford University, Stanford, CA 94305, (January 1976), 244 pages.

• David Russell, State Restoration Among Communicating Processes , Report 112, from Digital Systems Laboratory, Stanford Electronics Laboratories, Stanford University, Stanford, CA 94305, (June 1976), 166 pages.

• Lawrence Miller, An Investigation of the Effects of Output Variability and Output Band , Report ARPA Order No. 2223, ISI/RR-76-50, from Information Sciences Institute, University of Southern California, 4676 Admiralty Way, Marina del Rey, CA 90291, (December 1976), 72 pages.

• Donald Knuth, Mathematics and Computer Science: Coping With Finiteness , Report STAN-CS-76-541, from Computer Science Department, Stanford University, Stanford, CA 94305, (February 1976), 30 pages.

• Michael Malcolm & Gary Sager, The Real-Time/Minicomputer Laboratory , Report CS-76-11, from Computer Science Department, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada, (February 1976), 5 pages.

• William Riddle, An Approach to Software System Modelling, Behavior Specification and , Report RSSM/25, from Department of Computer and Communication Sciences, University of Michigan, Ann Arbor, MI 48104, (July 1976), 91 pages.

• Carl Hewitt, Viewing Control Structures as Patterns of Passing Messages , Report AI Memo No. 410, from MIT Artificial Intelligence Laboratory, 545 Technology Square, Cambridge, MA 02139, (December 1976), 57 pages.

• Jack Wileden, Relationships Between Graph Grammars and the Design and Analysis of C , Report RSSM/76, from Department of Computer and Information Science, University of Massachusetts at Amherst, Amherst, MA 01003, (?), 8 pages.

• William Rounds, Computation - Universality of MTE's , Report RSSM/21, from Department of Computer and Communication Sciences, University of Michigan, Ann Arbor, MI 48104, (January 1976), 12 pages.

• Jack Wileden, Derivatives of Message Transfer Expressions , Report RSSM/22, from Department of Computer and Communication Sciences, University of Michigan, Ann Arbor, MI 48104, (February 1976), 18 pages.

• Hartmann Genrich, The Petri Net Representation of Mathematical Knowledge , Report ISF-76-5, from Gesellschaft fur Mathematik und Datenverarbeitung MBH Bonn, Institut fur Informationssystemforschung (ISF), Postfach 1240, Schloss Birlinghoven, St. Augustin 1, D-5205, West Germany, (May 1976), 30 pages.

• Gerda Thieler-Mevissen, The Petri Net Calculus of Predicate Logic , Report ISF-76-09, from Gesellschaft fur Mathematik und Datenverarbeitung MBH Bonn, Institut fur Informationssystemforschung (ISF), Postfach 1240, Schloss Birlinghoven, St. Augustin 1, D-5205, West Germany, (December 1976), 60 pages.

• Reinaldo Braga, et al., A Portable Linking Loader , Report CS-76-18, from Computer Science Department, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada, (April 1976), 11 pages.

• Donald Knuth & Luis Pardo, The Early Development of Programming Languages , Report STAN-CS-76-562, from Computer Science Department, Stanford University, Stanford, CA 94305, (August 1976), 109 pages.

• Allen Ambler & Charles Hoch, A Study of Protection in Programming Languages , Report ICSCA-CMP-3, from Certifiable Minicomputer Project, Institute for Computing Science and Computer Applications, University of Texas, Austin, TX 78712, (December 1976), 29 pages.

• Charles Kominczak, A Universal Cross-Assembler , Report UIUCDCS-R-76-803, from Department of Computer Science, University of Illinois, Urbana, IL 61801, (May 1976), 46 pages.

• Robert Boyer & J. Moore, A Fast String Searching Algorithm , Report CSL-76-1, from Xerox PARC, 3180 Porter Drive, Palo Alto, CA 94304, (July 1976), 36 pages.

• Terence Roy, A Contribution to the Poker Project, the Development of and Experience with a Statistically Fair Player , Report 110, from Department of Computer Science, State University of New York at Buffalo, Amherst, NY 14226, (May 1976), 22 pages.

• Research in the Digital Systems Laboratory: August 1975-July 1976 , Report 123, from Digital Systems Laboratory, Stanford Electronics Laboratories, Stanford University, Stanford, CA 94305, (July 1976), 76 pages.

• James Kutsch, A Talking Computer Terminal , Report UIUCDCS-R-76-815, from Department of Computer Science, University of Illinois, Urbana, IL 61801, (July 1976), 89 pages.

• Mary Poppendieck & Edward Desautels, Memory Extension Techniques for Mini-Computers , Report 290, from Computer Sciences Department, University of Wisconsin-Madison, 1210 W. Dayton Street, Madison, WI 53706, (December 1976), 23 pages.

• Allen Ambler, et al., Report on the Language Gypsy Version 1.0 , Report ICSCA-CMP-1, from Certifiable Minicomputer Project, Institute for Computing Science and Computer Applications, University of Texas, Austin, TX 78712, (August 1976), 97 pages.

• Bruce Leverett, Portability Techniques for BLISS Programs , from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (November 1977), pages.

• Michael Fay, Bootstrapping a Small Translator Writing System , Report 77-3-002, from Information Sciences, University of California at Santa Cruz, Santa Cruz, CA 95064, (March 1977), 37 pages.

• Cecilia D'Oliveira, An Analysis of Computer Decentralization , Report MIT/LCS/TM-90, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (October 1977), 60 pages.

• Ronald Rivest & Vaughan Pratt, The Mutual Exclusion Problem for Unreliable Processes , Report MIT/LCS/TM-84, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (April 1977), 28 pages.

• Jack Wileden, Modelling Parallel Systems with Dynamic Process Interaction Configuration , Report RSSM/30, from Department of Computer and Communication Sciences, University of Michigan, Ann Arbor, MI 48104, (February 1977), 20 pages.

• Jack Wileden, An Introduction to the Modelling of Parallel Systems with Dynamic Structure , Report RSSM/35, from Department of Computer and Communication Sciences, University of Michigan, Ann Arbor, MI 48104, (May 1977), 21 pages.

• Clarence Ellis, Consistency and Correctness of Duplicate Database Systems , Report SSL-77-3, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (May 1977), 20 pages.

• Roy Campbell, Path Expressions: A Technique for Specifying Process Synchronization , Report UIUCDCS-R-77-863, UILU-ENG-77-1716, from Department of Computer Science, University of Illinois, Urbana, IL 61801, (May 1977), 230 pages.

• Jeffrey Jaffe, Semilinear Sets and Applications , Report MIT/LCS/TR-183, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (July 1977), 79 pages.

• Norihisa Suzuki & David Jefferson, Verification Decidability of Presburger Array Programs , from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (June 1977), 18 pages.

• Cristian Zervos, Colored Petri Nets: Their Properties and Applications , Report SEL-107, from Systems Engineering Laboratory, Department of Electrical & Computer Engineering, University of Michigan, Ann Arbor, MI 48104, (January 1977), 317 pages.

• Joel Neely & J. Moshell, Concepts of Macroprocessors , Report CS-77-21, from Computer Science Department, University of Tennessee, Knoxville, TN 37916, (January 1977), 36 pages.

• Charles Hughes, The Equivalence of Vector Addition Systems to a Subclass of Post Cano , Report CS-77-22, from Computer Science Department, University of Tennessee, Knoxville, TN 37916, (August 1977), 6 pages.

• Rudiger Valk, Self-modifying Nets , Report Bericht Nr. 34, IFI-HH-B-34/77, from Institut fur Informatik, Universitat Hamburg, Schluterstrasse 70, Hamburg 13, D-2000, West Germany, (July 1977), 36 pages.

• David Cheriton, et al., Thoth, a Portable Real-Time Operating System , Report CS-77-11, from Computer Science Department, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada, (October 1977), 20 pages.

• Allen Ambler, et al., Gypsy: A Language for Specification and Implementation of Verifiable , Report ISCSA-CMP-2, from Certifiable Minicomputer Project, Institute for Computing Science and Computer Applications, University of Texas, Austin, TX 78712, (January 1977), 23 pages.

• D. Parker, Extension of the Huffman Tree Construction Algorithm , Report UIUCDCS-R-77-853, from Department of Computer Science, University of Illinois, Urbana, IL 61801, (May 1977), 43 pages.

• William Riddle, Abstract Process Types , Report CU-CS-121-77, from Department of Computer Science, University of Colorado, Boulder, CO 80309, (December 1977), 34 pages.

• Don Good, Constructing Verifiably Reliable and Secure Communications Processing , Report ICSCA-CMP-6, from Certifiable Minicomputer Project, Institute for Computing Science and Computer Applications, University of Texas, Austin, TX 78712, (January 1977), 242 pages.

• Alan Snyder, A Portable Compiler , Report Computation Structures Group Memo 149, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (June 1977), 23 pages.

• Edward Robertson, Code Generation for Short/Long Address Machines , Report MRC Technical Summary Report 1779, from Mathematics Research Center, University of Wisconsin-Madison, 610 Walnut Street, Madison, WI 53706, (August 1977), 42 pages.

• P. Merlin & B. Randell, Consistent State Restoration in Distributed Systems , Report 113, from Computing Laboratory, Claremont Tower, Claremont Road, University of Newcastle Upon Tyne, Newcastle Upon Tyne, England NE1 7RU, United Kingdom, (October 1977), 40 pages.

• Ralph Griswold, CSI-A Software Interface for the Comp/Set 4500 Phototypesetter , Report 78-17, from Department of Computer Science, University of Arizona, Tucson, AZ 85721, (December 1978), 15 pages.

• Connie Stanley, Bibliography of Stanford Computer Science Reports 1963-1978 , Report STAN-CS-78-680, from Computer Science Department, Stanford University, Stanford, CA 94305, (November 1978), 62 pages.

• Edward Snow & Daniel Siewiorek, Impact of Implementation Design Tradeoffs on Performance: The PDP-11 , Report CMU-CS-78-104, from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (February 1978), 76 pages.

• Robert Keller, Sentinels: A Concept for Multiprocess Coordination , Report UUCS-78-104, from Department of Computer Science, University of Utah, Salt Lake City, UT 84112, (June 1978), 30 pages.

• Lynne Price, Representing Text Structure for Automatic Processing , Report 324, from Computer Sciences Department, University of Wisconsin-Madison, 1210 W. Dayton Street, Madison, WI 53706, (May 1978), 322 pages.

• Ann Gruhn, The Yorktown Formatting Language: User Guide , Report RC 6994, from IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, (June 1978), 220 pages.

• Daniel Friedman, A Conditional, Interlock-Free Store Instruction , Report 74, from Computer Science Department, Indiana University, Bloomington, IN 47401, (December 1978), 10 pages.

• David Wise, Morris' Garbage Compaction Algorithm Restore Reference Counts , Report 75, from Computer Science Department, Indiana University, Bloomington, IN 47401, (September 1978), 3 pages.

• Paul Purdom Jr. & Cynthia Brown, Exact Formulas for the Buddy System , Report 76, from Computer Science Department, Indiana University, Bloomington, IN 47401, (November 1978), 19 pages.

• Donald Knuth, Mathematical Typography , Report STAN-CS-78-648, from Computer Science Department, Stanford University, Stanford, CA 94305, (February 1978), 68 pages.

• Willy Chiu & We-Min Chow, A Hybrid Hierarchical Model of a Multiple Virtual Storage (MVS) Opera , Report RC 6947, from IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, (January 1978), 29 pages.

• R. Nussbaum & H. Schek, Automatic Error Detection in Natural Language Words , Report 78.06.005, from IBM Wissenschaftliches Zentrum, Tiergartenstrasse 15, Heidelberg, D-6900, West Germany, (June 1978), 22 pages.

• James Peterson, Design of a Spelling Corrector , from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (June 1978), 162 pages.

• David Wise, The Double Buddy-System , Report 79, from Computer Science Department, Indiana University, Bloomington, IN 47401, (December 1978), 29 pages.

• James Mitchell, et al., Mesa Language Manual , Report CSL-78-1, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (February 1978), 150 pages.

• Paul Hilfinger, et al., (Preliminary) An Informal Definition of Alphard , Report CMU-CS-78-105, from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (February 1978), 51 pages.

• Christopher Terman, The Specification of Code Generation Algorithms , Report MIT/LCS/TR-199, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (January 1978), 86 pages.

• J. Schoellkopf, A Tutorial on High-Level Language Machine Design for PASCAL , Report RR. No. 131, from IMAG - Informatique et Mathematiques Appliquees de Grenoble, Universite Scientifique et Medicale de Grenoble, B.P. 53, Grenoble cedex, 38041, France, (October 1978), 46 pages.

• M. Moalla, A La Recherche D'Une Methodologie de Conception Sure des Automatismes , Report RR. No. 138, from IMAG - Informatique et Mathematiques Appliquees de Grenoble, Universite Scientifique et Medicale de Grenoble, B.P. 53, Grenoble cedex, 38041, France, (October 1978), 43 pages.

• G. Memmi, Application of the Semiflow to the Boundedness and Liveness Problems , Report No. I.P. 78-3, from Institut de Programmation, Universite Pierre et Marie Curie, 4, Place Jussieu, Paris cedex 05, 75230, France, (March 1978), 5 pages.

• Donald Good, et al., Report on the Language Gypsy, Version 2.0 (Revision 1) , Report ICSCA-CMP-10, from Certifiable Minicomputer Project, Institute for Computing Science and Computer Applications, University of Texas, Austin, TX 78712, (September 1978), pages.

• C. Girault, Reseaux de Petri et Synchronisation de Processus , Report No. I.P. 78.02, from Institut de Programmation, Universite Pierre et Marie Curie, 4, Place Jussieu, Paris cedex 05, 75230, France, (1978), 19 pages.

• K. Lautenbach & P. Thiagarajan, Analysis of a Resource Allocation Problem Using Petri Nets , Report Interner Bericht ISF-78-05, from Gesellschaft fur Mathematik und Datenverarbeitung MBH Bonn, Institut fur Informationssystemforschung (ISF), Postfach 1240, Schloss Birlinghoven, St. Augustin 1, D-5205, West Germany, (June 1978), 17 pages.

• William Clifford, Using Debug Tools to Help Produce Correct Programs , Report 79, from Department of Computer Sciences, University of Texas, Austin, TX 78712, (May 1978), 63 pages.

• C. Lakos, Portable Code Generators and the B.P. Compiler , Report R79-1, from Department of Information Science, University of Tasmania, G.P.O. Box 252C, Hobart, Tasmania 7001, Australia, (July 1978), 340 pages.

• Charles Arnold, Reference Bibliography on Operating System Design Issue for Distributed Systems , Report TM No. 781065, from Naval Underwater Systems Center, New London Laboratory, New London, CT 06320, (April 1978), 68 pages.

• Henry Warren, A Text-Oriented Macro Processor , Report RC 7006, from IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, (March 1978), 21 pages.

• Russell Atkinson, Aspects of Implementing CLU , Report Computation Structures Group Memo 167, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (October 1978), 17 pages.

• I. Wand, Systems Implementation Languages and IRONMAN , Report RC 7410, from IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, (October 1978), 35 pages.

• C. Petri, Concurrency as a Basis of Systems Thinking , Report ISF-78-06, from Gesellschaft fur Mathematik und Datenverarbeitung MBH Bonn, Institut fur Informationssystemforschung (ISF), Postfach 1240, Schloss Birlinghoven, St. Augustin 1, D-5205, West Germany, (September 1978), 20 pages.

• William Riddle, An Anomaly Detection System for HAL/S: Preliminary Design and Current , Report RSSM/83, from Department of Computer Science, University of Colorado, Boulder, CO 80309, (October 1978), 13 pages.

• G. Bristow, The Static Detection of Synchronization Anomalies in HAL/S Programs , Report RSSM/82, from Department of Computer Science, University of Colorado, Boulder, CO 80309, (October 1978), 14 pages.

• Robert Shapiro & P. Thiagarajan, On the Maintenance of Distributed Copies of a Data Base , Report Interner Bericht ISF-78-04, from Gesellschaft fur Mathematik und Datenverarbeitung MBH Bonn, Institut fur Informationssystemforschung (ISF), Postfach 1240, Schloss Birlinghoven, St. Augustin 1, D-5205, West Germany, (July 1978), 13 pages.

• Gordon Smith & Roger Anderson, LSI-11 Writable Control Store Enhancements to U.C.S.D. Pascal , Report UCID-18046, from Lawrence Livermore Laboratory, Technical Information Department, University of California, Livermore, CA 94550, (October 1978), 111 pages.

• Roman Redziejowski, The Theory of General Events and its Application to Parallel Processing , Report TP 18.220, from IBM World Trade Corporation, IBM Nordic Laboratory, Sweden, (October 1972), 184 pages.

• Matthias Jantzen, The Power of Synchronizing Operations on Strings , from Department of Mathematics, University of California at Santa Barbara, Santa Barbara, CA 93106, (1979), 53 pages.

• William Ackerman & Jack Dennis, VAL-A Value-Oriented Algorithmic Language Preliminary Reference Manual , Report MIT/LCS/TR-218, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (June 1979), 80 pages.

• Karen Sollins, Copying Complex Structures in a Distributed System , Report MIT/LCS/TR-219, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (May 1979), 109 pages.

• Harvey Abramson, Three B.P. Machines , Report 79-11, from Department of Computer Science, University of British Columbia, Vancouver, British Columbia V6T 1W5, Canada, (1979), 38 pages.

• Harvey Abramson, et al., The Pica-B Computer, An Abstract Target Machine for a Transportable S , Report 79-12, from Department of Computer Science, University of British Columbia, Vancouver, British Columbia V6T 1W5, Canada, (1979), 25 pages.

• Eva Pless & Helmut Plunnecke, A Bibliography of Net Theory , Report ISF Report 79.04, from Gesellschaft fur Mathematik und Datenverarbeitung MBH Bonn, Institut fur Informationssystemforschung (ISF), Postfach 1240, Schloss Birlinghoven, St. Augustin 1, D-5205, West Germany, (August 1979), 93 pages.

• J. Sifakis, A Unified Approach for Studying the Properties of Transition Systems , Report RR. No. 179, from IMAG - Informatique et Mathematiques Appliquees de Grenoble, Universite Scientifique et Medicale de Grenoble, B.P. 53, Grenoble cedex, 38041, France, (December 1979), 42 pages.

• Guy Bristow, The Static Detection of Synchronization Anomalies in HAL/S Programs , Report CU-CS-165-79, from Department of Computer Science, University of Colorado, Boulder, CO 80309, (August 1979), 113 pages.

• Allan Stavely, The Membership Problem for Behaviors of Concurrent Software Systems , Report CSR 153, from Computer Science Department, New Mexico Institute of Mining and Technology, Socorro, NM 87801, (September 1979), 36 pages.

• Oscar Ibarra & Brian Leininger, Characterizations of Presburger Functions , Report 79-11, from Computer Science Department, University of Minnesota, Minneapolis, MN 55455, (May 1979), 27 pages.

• Kurt Jensen, Coloured Petri Nets and the Invariant Method , Report DAIMI PB-104, from Computer Science Department, Aarhus University, Ny Munkegade, Aarhus C, DK 8000, Denmark, (October 1979), 27 pages.

• Jared Darlington, A Net Based Theorem Prover for Program Verification and Synthesis , Report Interner Bericht IST 3/79, from Gesellschaft fur Mathematik und Datenverarbeitung MBH Bonn, Institut fur Software-Technologie (IST), Postfach 1240, Schloss Birlinghoven, St. Augustin 1, D-5205, West Germany, (December 1979), 41 pages.

• G. Bonkowski, et al., Porting the Zed Compiler , Report CS-79-22, from Computer Science Department, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada, (May 1979), 12 pages.

• Arthur Sale, The Implementation of Case Statements in PASCAL , Report R79-2, from Department of Information Science, University of Tasmania, G.P.O. Box 252C, Hobart, Tasmania 7001, Australia, (April 1979), pages.

• Ronald Brender, Generation of BLISSes , Report CMU-CS-79-125, from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (May 1979), 28 pages.

• Daniel Bobrow & Douglas Clark, Compact Encodings of List Structure , Report CSL-79-7, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (June 1979), 24 pages.

• R. Cattell, Code Generation and Machine Descriptions , Report CSL-79-8, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (October 1979), 48 pages.

• Daniel Friedman & David Wise, A Constructor for Applicative Multiprogramming , Report 80, from Computer Science Department, Indiana University, Bloomington, IN 47401, (January 1979), 19 pages.

• Brian Kernighan, UNIX for Beginners - Second Edition , Report 75, from, Bell Laboratories, Murray Hill, NJ 07974, (February 1979), 14 pages.

• Brian Kernighan, The UNIX Text Editor: Tutorial Introduction and Advanced Usage , Report 76, from, Bell Laboratories, Murray Hill, NJ 07974, (February 1979), 16 pages.

• George Houston, The Application of Formal Models to a Fully Adaptive General Purpose , Report 79-06-04, from Department of Computer Science, University of Washington, Seattle, WA 98195, (June 1979), 344 pages.

• Tsang Mao & Raymond Yeh, Communication Port: A Language Concept for Concurrent Programming , Report SDBEG-12, from Department of Computer Sciences, University of Texas, Austin, TX 78712, (April 1979), 24 pages.

• Teresa Roberts, Evaluation of Computer Text Editors , Report SSL-79-9, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (November 1979), 184 pages.

• Fred L. Luconi, Asynchronous Computational Structures , Report MAC-TR-49, from Project MAC, MIT, Cambridge, MA 02139, (February 1968), 139 pages.

• R. Hallquist, Dynamic Storage Allocation , Report Ph.D. Thesis, from Department of Electrical Engineering, University of Nebraska, Lincoln, Nebraska, (1973), 184 pages.

• IBM General Systems Division, IBM System/38 Technical Developments , Report IBM S/38 TECH DEV, from IBM General Systems Division, 4111 Northside Parkway, N.W., P.O. Box 2150, Atlanta, GA 30301, (1978), 109 pages.

• Wilhelm F. Burger, Parser Generation for Micro-Computers , from Department of Computer Sciences, University of Texas, Austin, TX 78712, (1978), 15 pages.

• Alan Snyder, R Reference Manual , Report Draft, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (1978), 43 pages.

• Charles R. Arnold, Optimization of Computer Operating Systems , Report 6045, from Naval Underwater Systems Center, Newport, Rhode Island 02840, (15 April 1979), 250 pages.

• W. Abu-Sufah, R. Lee, M. Malkawi, & P-C. Yew, Empirical results on the Behavior of Numerical Programs in Virtual Memory Systems , Report UIUCDCS-R-81-1076, from Department of Computer Science, University of Illinois, Urbana, IL 61801-2987, (November 1981), 128 pages.

• George Radin, The Journey of a S/370 Address from CPU to Memory , from IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, (1982?), 22 pages.

• J. Lions, A Commentary on the Unix Operating System , from Department of Computer Science, University of New South Wales, New Zealand, (1977), 98 pages.

• J. Lions, Unix Operating System Source Code Level Six , from Department of Computer Science, University of New South Wales, New Zealand, (1977), 90 pages.

• John Maxwell & Severo Ornstein, Mockingbird: A Composer's Amanuensis , Report CSL-83-2, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (1983), 20 pages.

• Eric Schmidt, Controlling Large Software Development In a Distributed Environment , Report CSL-82-7, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (December 1982), 148 pages.

• Jean-Loup Baer, The Evolution of Computer Architecture , Report 84-04-04, from Department of Computer Science, University of Washington, Seattle, WA 98195, (April 1984), 17 pages.

• Patrick W. Mallett, Methods of Compacting Microprograms , Report Ph.D. Thesis, from Department of Computer Science, University of Southwestern Louisiana, Lafayette, LA, (December 1978), 175 pages.

• Lancaster Nova PASCAL User's Guide , Report Release 1, from Department of Computer Studies, University of Lancaster, Bailrigg, Lancaster, England, United Kingdom, (1977), 17 pages.

• Timothy A. Budd & Webb C. Miller, Detecting Typographical Errors in Numerical Programs , Report 82-14, from Department of Computer Science, University of Arizona, Tucson, AZ 85721, (October 1982), 10 pages.

• David R. Hanson, Low-Cost, High-Yield Code Optimization , Report 82-17, from Department of Computer Science, University of Arizona, Tucson, AZ 85721, (November 1982), 16 pages.

• Mike Urban, A Guide to TEX for the Troff User , from TRW Software Productivity Project, (3 February 1984), 30 pages.

• Donald Knuth, TEX DVI files , (1982?), 48 pages.

• R.P. Brent, Efficient Implementation of the First-Fit Strategy for Dynamic Storage ... , Report CMA-R33-84, from Centre for Mathematical Analysis, Australian National University, GPO Box 4, Canberra, ACT 2601, Australia, (1984), 26 pages.

• R.P. Brent, Dynamic Storage Allocation on a Computer With Virtual Memory , Report CMA-R37-84, from Centre for Mathematical Analysis, Australian National University, GPO Box 4, Canberra, ACT 2601, Australia, (1984), 41 pages.

• Webb Miller & Eugene W. Myers, A File Comparison Program , Report 84-18, from Department of Computer Science, University of Arizona, Tucson, AZ 85721, (October 1984), 14 pages.

• Gregg Townsend, The Leo Programming Language , Report 84-7, from Department of Computer Science, University of Arizona, Tucson, AZ 85721, (8 May 1984), 17 pages.

• Elaine Rich & Aaron Temin, Representing Programs for Reasoning , Report TR-84-02, from Department of Computer Sciences, University of Texas, Austin, TX 78712, (February 1984), 21 pages.

• Alan C. Shaw, Specification of Human-Machine Interfaces: Some Problems, Tools, and Approaches , Report 84-01-01, from Department of Computer Science, University of Washington, Seattle, WA 98195, (January 1984), 4 pages.

• Guy T. Almes & Edward Lazowska, The Behavior of Ethernet-like Computer communications Networks , Report 79-05-01, from Department of Computer Science, University of Washington, Seattle, WA 98195, (November 1979), 29 pages.

• E.D. Lazowska, H.M. Levy, G.T. Almes, M.J. Fischer, R.J. Fowler, & S.C. Vestal, The Architecture of the Eden System , Report 81-04-01, from Department of Computer Science, University of Washington, Seattle, WA 98195, (April 1981), 21 pages.

• Guy T. Almes, Integration and Distribution in the Eden System , Report 83-01-02, from Department of Computer Science, University of Washington, Seattle, WA 98195, (19 January 1983), 18 pages.

• Guy Almes, Andrew Black, Carl Bunje & Douglas Wiebe, Edmas: A Locally Distributed Mail System , Report 83-07-01, from Department of Computer Science, University of Washington, Seattle, WA 98195, (7 July 1983), 17 pages.

• Guy T. Almes, Andrew P. Black, Edward D. Lazowska, & Jerre D. Noe, The Eden System: A Technical Review , Report 83-10-05, from Department of Computer Science, University of Washington, Seattle, WA 98195, (October 1983), 25 pages.

• Guy T. Almes, The Evolution of the Eden Invocation Mechanism , Report 83-01-03, from Department of Computer Science, University of Washington, Seattle, WA 98195, (19 January 1983), 14 pages.

• Robert N. Goldberg, Minimal String Difference Encodings , from Department of Computer Science, Rutgers University, New Brunswick, NJ 08903, (June 1981), 11 pages.

• J.W. Hunt & M.D. McIlroy, An Algorithm for Differential File Comparison , Report 41, from Computing Science, Bell Laboratories, Murray Hill, NJ 07974, (June 1976), 9 pages.

• Webb Miller & Eugene W. Myers, Side-effects in Automatic File Updating , Report 85-12, from Department of Computer Science, University of Arizona, Tucson, AZ 85721, (June 1985), 13 pages.

• Richard D. Schlichting, Deriving an Algorithm for Partitioning Rectangles , Report 85-10, from Department of Computer Science, University of Arizona, Tucson, AZ 85721, (23 May 1985), 24 pages.

• James C. King & Katherine A. Hitchcock, Sherpa User's Guide , Report SHERPA.UD.01X.04, from IBM Research Laboratory, 5600 Cottle Road, San Jose, CA 95193, (6 June 1983), 45 pages.

• John Howard, Mike West, M. Satyanarayanan, et al., ITC File System Design , from Information Technology Center, Carnegie-Mellon University, Pittsburgh, PA 15213, (29 September 1983), 78 pages.

• IBM, SNA Transaction Programmers Reference Manual for LU Type 6.2 , Report GC30-3084-0, from IBM Information Development, P.O. Box 12195, Research Triangle Park, NC 27709, (October 1982), 110 pages.

• Robert N. Goldberg, Software Design Issues in the Architecture and Implementation of Distributed Text Editors , Report DCS-TR-110, from Department of Computer Science, Rutgers University, New Brunswick, NJ 08903, (January 1982), 141 pages.

• James P. Gray, Pete Homan, Peter J. Hansen, Michael A. Lerner, & Mark Pozefsky, SNA's Advanced Program-to-Program Communication , Report IBM Systems Journal (4Q83), from IBM Information Development, P.O. Box 12195, Research Triangle Park, NC 27709, (June 1983), 38 pages.

• John R. Ellis, Multiple Context Shells , Report Research Report 191, from Department of Computer Science, 10 Hillhouse, Yale University, New Haven, CT 06520, (January 1981), 24 pages.

• Jon Doyle, Editor, Faculty Research Guide 1983-1984 , from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (1983), 79 pages.

• Arthur Appel, VM By Example , from IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, (1983), 38 pages.

• Donald E. Knuth & Michael F. Plass, Breaking Paragraphs into Lines , Report Software--Practice & Experience, (1981), 1119-1184 pages.

• Bob Sproull, Font Representations and Formats , from Computer Sciences Laboratory, Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (1 October 1980), 25 pages.

• R.D. Selinger, A.M. Patlach, & E.D. Carlson, The 925 Family of Office Workstations , Report RJ 3406, from IBM Research Laboratory, 5600 Cottle Road, San Jose, CA 95193, (24 February 1982), 22 pages.

• M. Shaw, S. Brookes, M. Donner, J. Driscoll, M. Mauldin, R. Pausch, B. Scherlisr, Proposal for an Undergraduate Computer Science Curriculum , Report CMU-CS-83-156 & CMU-CS-83-157, from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (20 October 1983), 126 pages.

• Richard K. Johnsson, A Survey of Register Allocation , from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (May 1973), 23 pages.

• Gatish Gupta & Bruce Lucas, High Quality Text for Multi-Level Displays , Report RC 9514, from IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, (13 August 1982), 11 pages.

• John E. Warnock, The Display of Characters Using Gray Level Sample Arrays , Report CSL-80-6, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (May 1980), 10 pages.

• R.G. Casey, T.D. Friedman, & K.Y. Wong, Use of Pattern Processing Techniques to Scale Digital Print Fonts , Report RJ 2979, from IBM Research Laboratory, 5600 Cottle Road, San Jose, CA 95193, (29 October 1980), 22 pages.

• Yuzuru Hiraga, Yoshihiko Ono, & Yamada-Hisao, An Analysis of the Standard English Keyboard , Report 80-11, from Department of Information Science, University of Tokyo, 7-3-1 Hongo, Bunkyo-Ku, Tokyo, 113, Japan, (July 1980), 7 pages.

• H. Burkhart, J. Nievergelt, Structure-Oriented Editors , Report 38, from Institut fur Informatik, Eidgenossische Technische Hochschule (ETH), Clausiusstrasse 55, Zurich, CH-8092, Switzerland, (May 1980), 20 pages.

• J. Nievergelt & J. Weydert, Sites, Modes, and Trails: Telling the User of an Interactive System Where He Is , Report 28, from Institut fur Informatik, Eidgenossische Technische Hochschule (ETH), Clausiusstrasse 55, Zurich, CH-8092, Switzerland, (January 1979), 13 pages.

• Ken Newman, Pted: a Standard Pascal Text Editor Based on the Kernighan & Plauger Design , Report CSRG-120, from Computer Systems Research Group, University of Toronto, Toronto, Ontario M5S 1A1, Canada, (October 1980), 79 pages.

• DecSystem-10 SOS Text Editor User's Manual , from Computation Center, University of Texas, Austin, TX 78712, (), 77 pages.

• Robert A. Myers, Printers for Electronic Document Distribution in the 1980's , Report RC 8619, from IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, (23 October 1980), 14 pages.

• Alan C. Shaw, A Model For Document Preparation Systems , Report 80-04-02, from Department of Computer Science, University of Washington, Seattle, WA 98195, (April 1980), 19 pages.

• Paul Bratley & Bernard Derval, An Introduction to Compo , Report 387, from Departement D'Informatique et de Recherche Operationnelle, Universite de Montreal, C.P. 6128, Succursale "A", Montreal, Quebec H3C 3J7, Canada, (December 1980), 20 pages.

• Allan Ramsay, Parsing English Text , Report DAI Research Paper 139, from Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland EH1 2QL, United Kingdom, (1980), 5 pages.

• Norman Brenner, CP/CMS Commands and EXECs Recommended at Yorktown: Quick Reference Manual , Report RC 9426, from IBM T.J. Watson Research Center, Mathematical Sciences Department, Yorktown Heights, NY 10598, (15 June 1980), 38 pages.

• L.L. Cherry & W. Vesterman, Writing Tools - The STYLE and DICTION Programs , from, Bell Laboratories, Murray Hill, NJ 07974, (), 15 pages.

• Karen Jensen, New Tools for Old Tasks: An Introductory Course in Computational Linguistics , Report RC 9314, from IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, (31 March 1982), 16 pages.

• Andreas Bechtolsheim, Forest Baskett, & Vaughan Pratt, The SUN Workstation Architecture , Report 229, from Computer Systems Laboratory, Stanford University, Stanford, CA 94305, (March 1982), 15 pages.

• James E. Archer Jr, Richard Conway, & Fred B. Schneider, User Recovery and Reversal in Interactive Systems , Report 81-476, from Department of Computer Science, Cornell University, Ithaca, NY 14853, (October 1981), 30 pages.

• Andrew P. Black, Exception Handling: The Case Against , Report 82-01-02, from Department of Computer Science, University of Washington, Seattle, WA 98195, (May 1983), 238 pages.

• W.M. McKeeman, Programming Language Translation Techniques , Report CSRG-17, from Computer Systems Research Group, University of Toronto, Toronto, Ontario M5S 1A1, Canada, (July 1972), 51 pages.

• Jack Dennis, Concurrency , Report Advanced Course on Software Engineering, from Technical University of Munich, Munich, Germany, (February-March 1972), 18 pages.

• W.A. Wulf, R.K. Johnsson, C.B. Weinstock, & S.O. Hobbs, The Design of an Optimizing Compiler , from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (December 1973), 103 pages.

• A.N. Habermann, Critical Comments on the Programming Language Pascal , from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (October 1973), 19 pages.

• Hans J. Breme, Contour Map and Terrain Intervisibility Processing: A Literature Survey , Report 403-11, from Department of Electrical Engineering, New York University, University Heights, Bronx, NY 10453, (July 1970), 34 pages.

• H. Bauer, S. Becker, & S. Graham, Algol W Implementation , Report CS 98, from Computer Science Department, Stanford University, Stanford, CA 94305, (20 May 1968), 147 pages.

• Yuzuru Hiraga, A Human Factors Basis for Evaluating Keyboard Efficiency , from Department of Information Science, University of Tokyo, 7-3-1 Hongo, Bunkyo-Ku, Tokyo, 113, Japan, (January 1981), 85 pages.

• Robert A. Amsler, The Structure of the Merriam-Webster Pocket Dictionary , Report 164, from Department of Computer Sciences, University of Texas, Austin, TX 78712, (December 1980), 163 pages.

• Jonathan Slocum, An English Affix Analyzer with Intermediate Dictionary Look-up , Report LRC-81-1, from Linguistics Research Center, University of Texas, Austin, TX 78712, (February 1981), 31 pages.

• Gwendolyn G. Good, Double Buddy versus Other Buddy Systems in Fragmentation , Report Undergraduate Project, from Department of Computer Science, Oregon State University, Corvallis, OR 97331-4602, (August 1983), 54 pages.

• Eric Jul, A Classification of Distributed Operating Systems , Report 85-05-01, from Department of Computer Science, University of Washington, Seattle, WA 98195, (May 1985), 18 pages.

• Calton Pu, Jerre Noe, & Andy Proudfoot, Regeneration of Replicated Objects: A Technique for Increased Availability , Report 85-04-02, from Department of Computer Science, University of Washington, Seattle, WA 98195, (23 April 1985), 19 pages.

• Jerre Noe, Andrew Proudfoot, & Calton Pu, Replication in Distributed Systems: The Eden Experience , Report 85-08-06, from Department of Computer Science, University of Washington, Seattle, WA 98195, (20 September 1985), 21 pages.

• Stuart K. Card, Studies in the Psychology of Computer Text Editing Systems , Report Ph.D. Thesis, from Department of Psychology, Carnegie-Mellon University, Pittsburgh, PA 15213, (1978), 199 pages.

• R.A. Nelson, L.M. Haibt, & P.B. Sheridan, Specification, Design, and Implementation via Annotated Petri Nets , Report RC 9317, from IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, (31 March 1982), 54 pages.

• David B. McDonald, Understanding Noun Compounds , Report CMU-CS-82-102, from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (January 1982), 247 pages.

• Raymond L. Robert, Wizard Typesetting Language User's Manual: An Implementation of Device Independent troff , from Technical Type & Composition, 6443 Lardon Road, Salem, OR 97305, (12 January 1984), 59 pages.

• Johathan Slocum, A Survey of Machine Translation: its History, Current Status, and Future Prospects , Report AI-011-85, from MCC, 9430 Research Blvd, Austin, TX 78759, (May 1985), 28 pages.

• Computer Science Research Review , from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (1980-1981), 164 pages.

• Jonathan Slocum, Parser Construction Techniques: a Tutorial , Report AI-007-85, from MCC, 9430 Research Blvd, Austin, TX 78759, (May 1985), 10 pages.

• Richard M Cohen, Proving Gypsy Programs , Report Ph.D. Thesis, from Department of Computer Sciences, University of Texas, Austin, TX 78712, (December 1985), 79 pages.

• Ulrich Mayer & Eike Riedemann, Mathematische Modelle fur MIMD-Rechner , Report 115, from Abteilung Informatik, Universitat Dortmund, Postfach 500500, Dortmund, D-4600, West Germany, (1981), 87 pages.

• Karel Culik, Logical Analysis of the Concept of Petri Net , Report CSC-81-024, from Department of Computer Science, Wayne State University, Detroit, MI 48202, (August 1981), 19 pages.

• H.K. Rehbati, Liveness Analysis of Message-Based Multiprocess Systems , Report 81-2, from Department of Computational Science, University of Saskatchewan, Saskatoon, Saskatchewan S7N 0W0, Canada, (1981), 18 pages.

• Record of the Project MAC Conference on Concurrent Systems and Parallel Computation , from ACM Order Department, 1133 Avenue of the Americas, New York, NY 10036, (1970), 199 pages.

• Jeffrey Meldman, A Petri-Net Representation of Civil Procedure , Report IDEA - The Journal of Law and Technology Volume 19, (1978), 123-148 pages.

• Timo O. Alanko & A. Inkeri Verrkamo, Segmentation, Paging and Optimal Page Sizes in Virtual Memory , Report C-1981-80, from Department of Computer Science, University of Helsinki, Tukholmankatu 2, Helsinki, SF-00250, Finland, (30 November 1981), 23 pages.

• Greg Nelson, Techniques for Program Verification , Report CSL-81-10, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (June 1981), 101 pages.

• Bruce Jay Nelson, Remote Procedure Call , Report CSL-81-9, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (May 1981), 201 pages.

• David K. Gifford, Information Storage in a Decentralized Computer System , Report CSL-81-8, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (June 1981), 142 pages.

• Christopher W. Fraser, A Programmable Text Editor , Report 81-3a, from Department of Computer Science, University of Arizona, Tucson, AZ 85721, (September 1981), 8 pages.

• James H. Morris, Real Programming in Functional Languages , Report CSL-81-11, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (1 July 1981), 31 pages.

• Jon Louis Bentley, Writing Efficient Code , Report CMU-CS-81-116, from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (27 April 1981), 71 pages.

• Ira Goldstein & Daniel Bobrow, An Experimental Description-Based Programming Environment: Four Reports , Report CSL-81-3, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (March 1981), 55 pages.

• M.V.S. Ramanath & Marvin Solomon, Optimal Code from Flow Graphs or Notes on Avoiding GOTO Statements , Report 415, from Computer Sciences Department, University of Wisconsin-Madison, 1210 W. Dayton Street, Madison, WI 53706, (January 1981), 23 pages.

• Gordon S. Novak Jr. & Agustin A. Araya, Physics Problem Solving Using Multiple Views , Report 173, from Department of Computer Sciences, University of Texas, Austin, TX 78712, (March 1981), 26 pages.

• Gordon S. Novak Jr., GIRL and GLISP: An Efficient Representation Language , Report 172, from Department of Computer Sciences, University of Texas, Austin, TX 78712, (March 1981), 6 pages.

• Timothy A. Budd & Gary M. Levin, A UNIX Bibliographic Database Facility , Report 82-1, from Department of Computer Science, University of Arizona, Tucson, AZ 85721, (March 1982), 19 pages.

• B.W. Lampson, J.J. Horning, R.L. London, J.G. Mitchell, & G.J. Popek, Report on the Programming Language Euclid , Report CSL-81-12, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (October 1981), 80 pages.

• Wing Kai Cheng, Performance Analysis of Update Synchronization Algorithms in Distributed Databases , Report UIUCDCS-R-81-1068, from Department of Computer Science, University of Illinois, Urbana, IL 61801, (January 1981), 247 pages.

• B.W. Lampson, K.A. Pier, G.A. McDaniel, S.M. Ornstein, & D.W. Clark, The Dorado: A High-Performance Personal Computer -- Three papers , Report CSL-81-1, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (January 1981), 80 pages.

• Pierre A. MacKay, Observations on the Development of an Information Interchange Standard for Arabs , Report 81-01-02, from Department of Computer Science, University of Washington, Seattle, WA 98195, (January 1981), 28 pages.

• Lawrence Colm Stewart, Trellis Data Compression , Report CSL-81-7, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (June 1981), 109 pages.

• Douglas K. Brotz, Laurel Manual , Report CSL-81-6, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (May 1981), 104 pages.

• Michael W. Ohlendorf, CMSC MIX: A Simulator System for the MIX Computer , Report M.A. Thesis, from Department of Computer Sciences, University of Texas, Austin, TX 78712, (August 1972), 84 pages.

• David Alex Lamb, Construction of a Peephole Optimiser , Report CMU-CS-80-141, from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (August 1980), 11 pages.

• Brad A. Myers, Displaying Data Structures for Interactive Debugging , Report CSL-80-7, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (June 1980), 97 pages.

• Kohei Noshita, Predicting the Number of Distinct Elements in a Multiset , Report 137, from Department of Computer Studies, University of Leeds, Leeds, England LS2 9JT, United Kingdom, (June 1980), 23 pages.

• Dana S. Nau, Decision Quality as a Function of Search Depth on Game Trees , Report 866, from Computer Science Department, University of Maryland, College Park, MD 20742, (February 1980), 57 pages.

• Dana S. Nau, The Last Player Theorem , Report 865, from Computer Science Department, University of Maryland, College Park, MD 20742, (February 1980), 19 pages.

• Gregory Andrews & Fred Schneider, Three Surveys on Operating System Topics , Report 80-425, from Department of Computer Science, Cornell University, Ithaca, NY 14853, (May 1980), 34 pages.

• Tim Teitelbaum, The Cornell Program Synthesizer: A Tutorial Introduction , from Department of Computer Science, Cornell University, Ithaca, NY 14853, (August 1980), 47 pages.

• Tim Teitelbaum & Thomas Reps, The Cornell Program Synthesizer: A Syntax-Directed Programming Environment , Report 80-421, from Department of Computer Science, Cornell University, Ithaca, NY 14853, (May 1980), 21 pages.

• Ira P. Goldstein & Daniel G. Bobrow, A Layered Approach to Software Design , Report CSL-80-5, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (December 1980), 32 pages.

• L. Peter Deutsch & Edward A. Taft, Requirements for an Experimental Programming Environment , Report CSL 80-10, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (June 1980), 40 pages.

• Martin Furer, The Complexity of Presburger Arithmetic with Bounded Quantifier-Alternation Depth , Report CSR-70-80, from Department of Computer Science, University of Edinburgh, Edinburgh, Scotland EH9 3JZ, United Kingdom, (September 1980), 6 pages.

• James Peterson & Harold Stone, An HP Assembler for the IBM 360 (Listing) , Report HP 22396B-L00, from Hewlett-Packard Software Center, 11000 Wolfe Road, Cupertino, CA 95104, (1972), 145 pages.

• Computer Systems Research Group , from Computer Systems Research Group, University of Toronto, Toronto, Ontario M5S 1A1, Canada, (September 1972), 9 pages.

• Computer Science: A Dissertation Bibliography , from University Microfilms International, P.O. Box 1764, Ann Arbor, MI 48106, (October 1975), 89 pages.

• Anita Jones, Guy Almes, David Jefferson, Allen Newell, Geoarge Robertson, Mary Shaw, & Joe Traub, 10th Anniversary Symposium , from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (October 1975), 60 pages.

• Nell Dale, David Orshalick & Elaine Rich, Pascal: A Self-Study Introduction for Programmers , from Department of Computer Sciences, University of Texas, Austin, TX 78712, (1982), 338 pages.

• Gene McDaniel, An Analysis of a Mesa Instruction Set , Report CSL-82-2, from Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304, (May 1982), 17 pages.

• Eric D. Carlson, James R. Rhyne, & Daniel L. Weller, A Design for a Family of Display Management Systems , Report RJ 3372, from IBM Research Laboratory, 5600 Cottle Road, San Jose, CA 95193, (18 January 1982), 24 pages.

• Ralph Gorin, Spell Program (Dec-10 Listing) , (21 November 1978), 80 pages.

• Walter E. Brown, Toward An Optimizing Compiler for a Very High Level Language , Report Ph.D. Thesis, from Department of Computer Science, Iowa State University, Ames, Iowa, (1979), 111 pages.

• Alan Shaw, Richard Furuta, & Jeffrey Scofield, Document Formatting Systems: Survey, Concepts, and Issues , Report 80-10-02, from Department of Computer Science, University of Washington, Seattle, WA 98195, (October 1980), 7 pages.

• R.J. Fowler, A.B. Struble, P.A. Thiemens, S.C. Vestal, M.J. Fischer, T.H. Kehl, & E.D. Lazowska, The CSL Switch: A Microcomputer-Controlled Multicomputer Front-End , Report 80-01-02, from Department of Computer Science, University of Washington, Seattle, WA 98195, (January 1980), 13 pages.

• Kurt Jensen & Morten Kyng, Epsilon: A System Description Language , Report DAIMI PB-150, from Computer Science Department, Aarhus University, Ny Munkegade, Aarhus C, DK 8000, Denmark, (October 1982), 150 pages.

• Peter H. Starke, Graph Grammars for Petri Net Processes , Report 23, from Sektion Mathematik, Humboldt - Universitat zu Berlin, Unter den Linden 6, Berlin, 1086, East Germany, (1982), 54 pages.

• R.A. Nelson, L.M. Haibt, & P.B. Sheridan, Specification, Design and Implementation via Annotated Petri Nets , Report RC 9317, from IBM T.J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY 10598, (31 March 1982), 54 pages.

• Proceedings Conference on Petri Nets , Report AFCET Reseaux de Petri, from Institut de Programmation, Universite Pierre et Marie Curie, 4, Place Jussieu, Paris cedex 05, 75230, France, (March 1977), 247 pages.

• C.A. Petri, General Net Theory , Report Proceedings of the Joint IBM University Seminar on Computing System Design, from Computing Laboratory, Claremont Tower, Claremont Road, University of Newcastle Upon Tyne, Newcastle Upon Tyne, England NE1 7RU, United Kingdom, (September 1976), 131-257 pages.

• Gerard Memmi, Fuites et Semi-Flots dans les Reseaux de Petri , Report These de Docteur Ingenieur, from Mathematiques Appliquees, Universite Pierre et Marie Curie, 4, Place Jussieu, Paris cedex 05, 75230, France, (18 December 1978), 109 pages.

• Albert Widory, Etude du Flot Des Donnees d'un Programme: Application a la Gestion de Memoires , Report These du Doctorat Troisieme Cycle, from Mathematiques Appliquees, Universite Pierre et Marie Curie, 4, Place Jussieu, Paris cedex 05, 75230, France, (22 November 1978), 171 pages.

• Netz Literatur , Report Working Paper, from Forschungsgruppe CIS, Institut fur Angewandte Informatik, Technische Universitat Berlin, Berlin, D 1000, Germany, (6 April 1979), 29 pages.

• Frank Brett Berlin, Time-extended Petri Nets , Report M.S. Thesis, from Department of Computer Sciences, University of Texas, Austin, TX 78712, (August 1979), 152 pages.

• Orosz Anna Bagyinszkine, Petri Halok II: A Petri halok es a formalis nyelvek kapcsolata , Report 1979/3, from Department of Numerical and Computer Mathematics, L. Eotvos University, Budapest, H-1445, Hungary, (1979), 47 pages.

• M. Szijarto, Trace Languages and Closure Operations , Report 1979/2, from Department of Numerical and Computer Mathematics, L. Eotvos University, Budapest, H-1445, Hungary, (1979), 58 pages.

• Kurt Jensen, A method to compare the descriptive power of different types of Petri Nets , Report DAIMI PB-108, from Computer Science Department, Aarhus University, Ny Munkegade, Aarhus C, DK 8000, Denmark, (January 1980), 26 pages.

• Eike Hagen Riedmann, The Control of parallel Computations by Labeled Petri Nets , Report Theses de Doktors derr Naturwissenschaften, from Abteilung Informatik, Universitat Dortmund, Postfach 500500, Dortmund, D-4600, West Germany, (December 1979), 290 pages.

• Erik Meiling, On the Modelling Power of Petri Nets , Report 79-403, from Department of Computer Science, Cornell University, Ithaca, NY 14853, (December 1979), 29 pages.

• Tuvi Etzion, The Power of Lambda Labels in Petri Nets , Report 216, from Department of Computer Science, Technion -- Israel Institute of Technology, Haifa, Israel, (August 1981), 8 pages.

• Tuvi Etzion & Michael Yoeli, Super-Nets and Their Hierarchy , Report 218, from Department of Computer Science, Technion -- Israel Institute of Technology, Haifa, Israel, (September 1981), 21 pages.

• Sara Porat & Michael Yoeli, Towards a Hierarchy of Nets , Report 224, from Department of Computer Science, Technion -- Israel Institute of Technology, Haifa, Israel, (November 1981), 15 pages.

• Tuvi Etzion & Michael Yoeli, The Hierarchy of Labeled Super-Nets , Report 226, from Department of Computer Science, Technion -- Israel Institute of Technology, Haifa, Israel, (November 1981), 28 pages.

• C. Girault, Proof of Protocols in the Case of Failures , from Institut de Programmation, Universite Pierre et Marie Curie, 4, Place Jussieu, Paris cedex 05, 75230, France, (January 1981), 25 pages.

• J.P. Queille & J. Sifakis, Specification and Verification of Concurrent Systems in CESAR , Report 254, from IMAG - Informatique et Mathematiques Appliquees de Grenoble, Universite Scientifique et Medicale de Grenoble, B.P. 53, Grenoble cedex, 38041, France, (June 1981), 33 pages.

• Gary Dean Kimura & Jerre D. Noe, NETED with Graphical I/O , Report 81-01-01, from Department of Computer Science, University of Washington, Seattle, WA 98195, (January 1981), 45 pages.

• E. Best, A Relational Framework for Concurrent Programs Using Atomic Actions , Report 81.04, from Gesellschaft fur Mathematik und Datenverarbeitung, Postfach 1240, Schloss Birlinghoven, St. Augustin 1, D-5205, West Germany, (14 December 1981), 31 pages.

• Ernst Mayr, An Effective Representation of the Reachability Set of Persistent Petri Nets , Report MIT/LCS/TM-188, from MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, (January 1981), 17 pages.

• Horst Oberquelle, Communication by Graphic Net Representations , Report 75, from Gachbereich Informatik, Universitat Hamburg, Schlueterstrasse 70, Hamburg, D-2000, West Germany, (March 1981), 64 pages.

• George Holober, A Survey of Synchronization Problems , Report 181, from Department of Computer Science, 10 Hillhouse, Yale University, New Haven, CT 06520, (February 1980), 50 pages.

• J.L. Baer, G. Gardarin, C. Girault, G. Roucairol, The Two-Step Commitment Protocol: Modeling, Specification and Proof methodology , from Institut de Programmation, Universite Pierre et Marie Curie, 4, Place Jussieu, Paris cedex 05, 75230, France, (December 1980), 11 pages.

• Kurt Jensen, How to Find Invariants for Coloured Petri Nets , Report DAIMI PB-120, from Computer Science Department, Aarhus University, Ny Munkegade, Aarhus C, DK 8000, Denmark, (May 1980), 20 pages.

• Kurt Jensen & Morten Kyng, Petri Nets and Semantics of System Descriptions , Report DAIMI PB-116, from Computer Science Department, Aarhus University, Ny Munkegade, Aarhus C, DK 8000, Denmark, (April 1980), 28 pages.

• J. Sifakis, Deadlocks and Livelocks in Transition Systems , Report 185, from IMAG - Informatique et Mathematiques Appliquees de Grenoble, Universite Scientifique et Medicale de Grenoble, B.P. 53, Grenoble cedex, 38041, France, (January 1980), 26 pages.

• Joseph Sifakis, Le Controle des Systems Asynchrones: Concepts, Proprietes, Analyse Statique , Report These de Docteur es Sciences, from Institut National Polytechnique de Grenoble, Universite Scientifique et Medicale de Grenoble, Grenoble, France, (25 June 1979), 250 pages.

• Advance Course on General Net Theory of Processes and Systems - Part I , from Fachbereich Informatik, Universitat Hamburg, Hamburg, D-2000, West Germany, (October 1979), 273 pages.

• Advance Course on General Net Theory of Processes and Systems - Part II , from Fachbereich Informatik, Universitat Hamburg, Hamburg, D-2000, West Germany, (October 1979), 250 pages.

• Gerard Berthelot, Verification de Reseaux de Petri , Report These du Doctorat Troisieme Cycle, from Mathematiques Appliquees, Universite Pierre et Marie Curie, 4, Place Jussieu, Paris cedex 05, 75230, France, (12 January 1978), 211 pages.

• Gerard Roucairol, Contribution a l'etude des equivalences syntaxiques et transformations de programmes , Report These du Doctorat d'Etat es Sciences, from Mathematiques Informatiques, Universite Pierre et Marie Curie, 4, Place Jussieu, Paris cedex 05, 75230, France, (29 November 1978), 162 pages.

• Computer Science Supplement One: A Dissertation Bibliography , from University Microfilms International, P.O. Box 1764, Ann Arbor, MI 48106, (1977), 71 pages.

• Computer Science Research Review 1976-1977 , from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (September 1977), 49 pages.

• Karl A. Drexhage, A Survey of Soviet Programming , from Stanford Research Institute, Menlo Park, CA 94025, (April 1976), 136 pages.

• SCRIPT/370 Version 3 Systems Guide , Report LY20-2251-0, from IBM Data Processing Division, 1133 Westchester Avenue, White Plains, NY 10604, (September 1976), 72 pages.

• K.V. Nori, U. Ammann, K. Jensen, H.H. Nageli, Ch. Jacobi, The Pascal P Compiler: Implementation Notes , from Institut fur Informatik, Eidgenossische Technische Hochschule (ETH), Clausiusstrasse 55, Zurich, CH-8092, Switzerland, (July 1976), 52 pages.

• Gary Hedrick, PASCAL-20 User's Manual , (January 1979), 65 pages.

• Per Brinch Hansen, Concurrent Pascal Machine , from Information Science, California Institute of Technology, Pasadena, CA 91125, (October 1975), 50 pages.

• Per Brinch Hansen, Concurrent Pascal Introduction , from Information Science, California Institute of Technology, Pasadena, CA 91125, (July 1975), 43 pages.

• Per Brinch Hansen, Concurrent Pascal Implementation Notes , from Information Science, California Institute of Technology, Pasadena, CA 91125, (January 1976), 25 pages.

• David R. Cheriton & Michael A. Malcolm, Process Identification in Thoth , Report 79-10, from Department of Computer Science, University of British Columbia, Vancouver, British Columbia V6T 1W5, Canada, (October 1979), 10 pages.

• Reinaldo S.C. Braga, Eh Reference Manual , Report CS-76-45, from Computer Science Department, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada, (November 1976), 32 pages.

• Michael A. Malcolm, Gary R. Sager, & Gary J. Stafford, A Portable Assembler Writing Kit , Report CS-76-48, from Computer Science Department, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada, (November 1976), 12 pages.

• Donald E. Knuth, The State of The Art of Computer Programming , from Computer Science Department, Stanford University, Stanford, CA 94305, (14 May 1976), 57 pages.

• Mona Thomas Thompson, A Survey of Languages for Systems Programming , Report M.A. Thesis, from Department of Computer Sciences, University of Texas, Austin, TX 78712, (May 1976), 201 pages.

• Mark Jeffrey Tadman, Fast-Fit: A New Dynamic Storage Allocation Technique , Report M.S. Thesis, from Computer Science Department, University of California at Irvine, Irvine, CA 92717, (September 1978), 75 pages.

• Introduction to IBM Direct-Access Storage Devices and Organization Methods , Report GC20-1649-10, from IBM Data Processing Division, 1133 Westchester Avenue, White Plains, NY 10604, (March 1979), 121 pages.

• Elaine Rich, Building and Exploiting User Models , Report CMU-CS-79-119, from Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, (26 April 1979), 193 pages.

• Ira R. Forman, petri - User's Manual , Report TR-85-100-06, from MCC, 9430 Research Blvd, Austin, TX 78759-6509, (14 May 1985), 12 pages.

• Rajive Bagrodia, A Distributed Algorithm for N-Party Interactions , Report STP-053-85, from MCC, 9430 Research Blvd, Austin, TX 78759-6509, (August 1985), 24 pages.

• W. Brauer (Editor), Net Theory and Applications -- Proceedings of the October 1979 Advanced Course on General Net Theory , Report LNCS Volume 84, from Springer-Verlag, (1980), 537 pages.