Simultaneous Replacement in Normal Programs. Schema refinement and schema integration in object-oriented databases. Declarative Programming in Prolog. Regular Layouts of Butterfly Networks in Three Dimensions. A structural co-induction theorem.
Homomorphism preserving algebraic specifications require hidden sorts.
A user's guide to the Software Testpilot. Topological Models for Higher Order Control Flow. Relating State Transformation Semantics and Predicate Transformer Semantics for Parallel Programs. Isomorphisms between State and Predicate Transformers. Comparative Semantics for Linear Arrays of Communicating Processes.