1. T. Bolognesi: “A Graphical Composition Theorem for Networks of LOTOS Processes”, Proceedings of the 10th International Conference on Distributed Computing Systems, IEEE Computer Society Press, 1990.
2. T. Bolognesi, D. Frutos-Escrig, Y. Ortega-Mallén Graphical Composition Theorems for Parallel and Hiding Operators in J. Quemada, J. Manas, E. Vasquez (eds.), Formal Description Techniques, III, Proceedings. FORTE-90, pp. 459–470, North Holland,1991.
3. R. Langerak, “Decomposition of functionality: a correctness preserving LOTOS transformation, Protocol Specification, Testing, and Verification X, L. Logrippo, R.L. Probert, H. Ural (Eds.), North Holland 1990.
4. Peter J. Broekroelofs, “Bipartitioning of LOTOS specifications, Masters thesis, University of Twente, 1992.
5. D. Latella Correctness of the IPR transformation ESPRIT Project 2304 - Loto-sphere, ref. Lo/WP1/T1.2/CNUCE/N0021–1991