1. M. Broy: Specification and Refinement of a Buffer of Length One. Markto-berdorf Summer School 1994
2. M. Broy: A Functional Rephrasing of the Assumption/Commitment Specification Style. Technische Universität München, Institut für Informatik, TUM-I9417, June 1994
3. M. Broy, L. Lamport: The RPC-Memory Specification Problem. This volume.
4. M. Broy, K. Stølen: Specification and Refinement of Finite Dataflow Networks — a Relational Approach. In: Langmaack, H. and de Roever, W.-P. and Vytopil, J. (eds): Proc. FTRTFT'94, Lecture Notes in Computer Science 863, 1994, 247–267
5. K. Stølen, F. Dederichs, R. Weber: Assumption/Commitment Rules for Networks of Agents. Technische Universität München, Institut für Informatik, TUM-I9302