1. Bochmann, G.V., Merlin, P.M.: On the construction of communication protocols. In: ICCC, pp. 371–378 (1980); reprinted in Communication Protocol Modeling, Sunshine, C.(ed.). Artech House Publ., (1981); russian translation: Problems of Intern. Center for Science and Techn. Information, vol. 2, Moscow, pp. 146-155 (1981)
2. Merlin, P., Bochmann, G.V.: On the Construction of Submodule Specifications and Communication Protocols. ACM Trans. on Programming Languages and Systems 5(1), 1–25 (1983)
3. Extended version of this paper,
http://www.site.uottawa.ca/~bochmann/dsrg/PublicDocuments/Publications/Boch09a.pdf
4. Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77(1) (January 1989)
5. Bochmann, G.V.: Submodule construction – the inverse of composition (submitted)