1. Bauerfeld, W.L., “Zur Spezifikation von Protokollen und Diensten”, in /DFN83/.
2. Bochmann, G.v., “Example of ESTELLE-Transport Service Specification” in DFN83/.
3. Bochmann, G.v., “Concepts for Distributed Systems Design”, Springer-Verlag, Berlin, Heidelberg, New York (1983).
4. Bochmann, G.v., u.a., “Use of Formal Specifications for Protcol Design, Implementation and Testing”, in /Yem85/.
5. Burkhardt, H.J., Schindler, S., “Structuring Principles of the Communication Architecture of Open Systems — A Systematic Approach”, Computer Networks 5/81, 157–166.