1. Beierle C. PROTOS-L: Design and Implementation in: Proceedings of the first workshop of the EUREKA project EU56 PROTOS, Lugano-Morcote, Switzerland, September 1988
2. E.K. Blum, H. Ehrig, F. Parisi-Presicce Algebraic Specification of Modules and Their Basic Interconnections. Journal of Computer and System Sciences Vol.34,Nos.2/3, New York-London 1987, pp. 293–339
3. Booch, Grady Software Components with ADA Structure, Tools, and Subsystems Benjamin Cummings, 1987
4. Cardelli L., Donahue J., Glassman L., Jordan M., Kaslow B., Nelson G. Modula-3 Report (revised) Digital Systems Research Center, Technical Report, Oct 1989
5. Campbell, R.H. Habermann, A.N. The Specification of Process Synchronization by Path Expressions Lecture Notes in Computer Science Vol 16, pp 89–102 Springer Verlag New York 1974