1. Dijkstra, E. W.: Co-operating Sequential Processes. in: Programming Languages (Ed. F. Genuys), Academic Press, London, 1968, S. 43 – 112
2. Hartmanis, J., Stearns, R. E.: Algebraic Structure Theory of Sequential Machines. Prentice Hall, Englewood — Cliffs, 1966
3. Jürgens, J.: Synchronisation paralleler Prozesse anhand von Zuständen. Diss., München, 1973
4. IEEE Transactions on Software Engineering;L Lamport,1977
5. Langmaack, H.: On Procedures as open Subroutines I, II. Acta Informatica Vol. 2, 1977, S. 311 – 333