1. Alford, M. (1977): A requirements engineering methodology for real-time processing requirements. IEEE Trans. Software Eng., SE-3, 60–69
2. Courtois, P.J., F. Heymans, D.L. Parnas (1971): Concurrent control with ‘readers’ and ‘writers’. Commun. ACM, 14, 667–668.
3. Eckert, K. (1980): Implementierung eines Spezifikationssystems für Prozeßrechner-Software Diplomarbeit, Universität Karlsruhe.
4. Jackson, K., H.F. Harte (1976): The achievement of well-structured software in real-time applications. Proc. of the IFAC/IFIP workshop on real-time programming, Rocquencourt, Juni 1976. pp. 229–238.
5. Ludewig, J., W. Streng (1978): Überblick und Vergleich verschiedener Mittel fü die Spezifikation und den Entwurf von Software KfK 2506