Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher (Eds.):
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85).
Lecture Notes in Computer Science 185 Springer 1985, ISBN 3-540-15198-2
Advanced Seminar on the Role of Semantics in Software Development
Concepts of Semantics with a View to Software Development
: Specification and Top Down Design of Distributed Systems.
The Role of Semantics in Language Design
John W. Backus
: From Function Level Semantics to Program Transformation and Optimization.
Colloquium on Trees in Algebra and Programming
Algorithms and Combinatorics
: Fast Searching in a Real Algebraic Manifold with Applications to Geometric Complexity.
: "Delayability" in Proofs of Strong Normalizability in the Typed Lambda Calculus.
: A Metric Characterization of Fair Computations in CCS.
: A Complete Modal Proof System for a Subset of SCCS.
Graph Grammars and Formal Languages
Semantics and Data Types
Johann A. Makowsky
: Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples (Extended Abstract).
, Josef Voss
: On the Implementation of Abstract Data Types by Programming Language Constructs.