Языки модульного программирования

• Mesa [Xerox Palo Alto Research Center]
• Experience with Processes and Monitors in Mesa (1980)
  Butler Lampson [Xerox Palo Alto Research Center, USA]; David Redell [Xerox Business Systems, USA]
• Pilot: An Operating System for a Personal Computer (1980)
  David Redell, Yogen Dalal, Thomas Horsley, Hugh Lauer, William Lynch, Paul McJones, Hal Murray, Stephen Purcell [Xerox Business Systems, USA]
• The Mesa Programming Environment (1984)
  Richard Sweet [Xerox Palo Alto Research Center, USA]
• The Xerox Star: A Retrospective (1989)
  Jeff Johnson, Teresa Roberts [US West Advanced Technologies, USA]; William Verplank [IDTwo, USA]; David Smith [Cognition, USA]; Charles Irby, Marian Beard [Metaphor Computer Systems]; Kevin Mackey [Xerox]

• Cedar [Xerox Palo Alto Research Center]
• A Caching File System For a Programmer’s Workstation (1985)
  Michael Schroeder, David Gifford, Roger Needham [DEC Systems Research Center, USA]

• CLU [Barbara Liskov, MIT]
• CLU Information Package (1977)
  Robert Scheifler, Alan Snyder [Massachusetts Institute of Technology, USA]
• Exception Handling in CLU (1979)
  Barbara Liskov, Alan Snyder [Massachusetts Institute of Technology, USA]
• Practical Benefits of Research in Programming Methodology (1978)
  Barbara Liskov [Massachusetts Institute of Technology, USA]
• A History of CLU (1992)
  Barbara Liskov [Massachusetts Institute of Technology, USA]

• Modula-3 [DEC Systems Research Center]
• On Extending Modula-2 For Building Large, Integrated Systems (1985)
  Paul Rovner, Roy Levin, John Wick [DEC Systems Research Center, USA]
• The Topaz System: Distributed Multiprocessor Personal Computing (1987)
  Paul McJones, Andy Hisgen [DEC Systems Research Center, USA]
• An Introduction to Programming with Threads (1989)
  Andrew Birrell [DEC Systems Research Center, USA]
• Modula-3 Report (revised) (1989)
  Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, Greg Nelson [DEC Systems Research Center, USA]
• The Modula-3 Type System (1988)
  Luca Cardelli, James Donahue, Mick Jordan, Bill Kalsow, Greg Nelson [DEC Systems Research Center, USA]
• IO Streams: Abstract Types, Real Programs (1989)
  Mark Brown, Greg Nelson [DEC Systems Research Center, USA]
• Heap Usage in the Topaz Environment (1990)
  John DeTreville [DEC Systems Research Center, USA]
• Experience with Concurrent Garbage Collectors for Modula-2+ (1990)
  John DeTreville [DEC Systems Research Center, USA]
• Trestle Reference Manual (1991)
  Mark Manasse, Greg Nelson [DEC Systems Research Center, USA]
• Trestle Tutorial (1992)
  Mark Manasse, Greg Nelson [DEC Systems Research Center, USA]
• LM3: a Large Language for Modula-3. A Definition and Introduction (1991)
  Kevin Jones [DEC Systems Research Center, USA]
• Some Useful Modula-3 Interface (1993)
  Jim Horning, Bill Kalsow, Paul McJones, Greg Nelson [DEC Systems Research Center, USA]
• Extended Static Checking (1998)
  David Detlefs, Rustan Leino, Greg Nelson, James Saxe [Compaq Systems Research Center, USA]
• A Technology Transfer Retrospective (2003)
  Roy Levin [Microsoft Research, USA]

• Ada [Department of Defence, USA]
• Ada Reference Manual. Language and Standard Libraries (1994)
  ISO 8652:1987 [Intermetrics, USA]
• Annotated Ada Reference Manual. Language and Standard Libraries (1994)
  ISO 8652:1987 [Intermetrics, USA]
• Ava 95 Reference Manual. Language and Standard Libraries (1995)
  ISO/IEC JTC1/SC22 WG9 N 193, AARM Version 6.0 [Intermetrics, USA]
• Ada, C, C++, and Java vs. The Steelman (1996)
  David Wheeler [Institute for Defense Analyses, USA]
• Implementing the C++ Standard Template Library in Ada 95 (1996)
  Ulfar Erlingsson, Alexander Konstantinou [Rensselaer Polytechnic Institute, USA]
• Applying Object-Oriented Metrics to Ada 95 (1996)
  William Pritchett [CACI, USA]
• Implementing Exceptions in Open Multithreaded Transactions Based On Ada 95 Exceptions (2001)
  Juerg Kienzle [EPFL Lausanne, Switzerland]; Alexander Romanovsky [University of Newcastle, United Kingdom]
• A Detailed Description of the GNU Ada Run Time (2002)
  Javier Miranda [University of Las Palmas de Gran Canaria, Spain]
• Ada 95 (2004)
  Abdul Rahim Rao, Muhammad Asif [Malardalens University, Sweden]