Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986

Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985

Electronic Dictionaries and Automata in Computational Linguistics: LITP Spring School in Theoretical Computer Science, Saint- Pierre d'Oleron, France, May 25-29, 1987. Proceedings

Advances in Petri Nets 1984

Language Hierarchies and Interfaces: International Summer School

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers

Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship

Specification and Design of Software Systems: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings

The Programming Language Ada: Reference Manual. Proposed Standard Document United States Department of Defense

PORTAL Language Description

TEX for Scientific Documentation: Second European Conference, Strasbourg, France, June 19-21, 1986. Proceedings

Paragon: A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types

Compiler Specification and Verification

Anaphora in Natural Language Understanding: A Survey

Coroutines: A Programming Methodology, a Language Design and an Implementation

Computing in Systems Described by Equations

Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981

Language Design and Programming Methodology: Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979

NEWCAT: Parsing Natural Language Using Left-Associative Grammar

Ada 95 Reference Manual: Language and Standard Libraries: International Standard ISO/IEC 8652:1995 (E)

International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings

Experiences with Distributed Systems: International Workshop, Kaiserslautern, FRG, September 28-30, 1987. Proceedings