1. Agence Nationale pour le Développement de la Production Automatisée.: Le Grafcet, Diagramme Fonctionel des Automatismes Séquentiels, Ed. 3 (1979)
2. Baber, R.L.: Fehlerfreie Programmierung für den Software-Zauberlehrling. R. Oldenbourg-Verlag, München/Wien (1990)
3. Backhouse, R.C.: Programmkonstruktion und Verifikation. Hanser-Verlag, München/Wien (1989)
4. Clutterbuck, D.L., Carré, B.A.: The verification of low level code. IEE Softw. Eng. J. 3, 97–111 (1988)
5. Dahll, G., Mainka, U., Märtz, J.: Tools for the standardised software safety assessment (The SOSAT Project). In: Ehrenberger, W.D. (Hrsg.) Safety of Computer Control Systems. IFAC Proceedings Series, No. 16, S. 1–16. Pergamon Press, Oxford (1988)