1. Abbenhardt, H. (1985). TUS - Methode und Werkzeug für den systematischen Software-Test. In H. Balzert (Ed.) (1985), S. 263–274.
2. Abbenhardt, H. (1986). Das Testunterstützungs-System TUS. Gl-Softwaretechnik-Trends, Heft 6–1, S. 71–76.
3. Ansart, J.P. (1982). GENEPI/A - A Protocol Indépendant System for Testing Protocol Implementation. In: Sunshine, C. (Ed.). Protocol Specification, Testing and Verification II. North Holland Publishing Company, S. 523–528.
4. Apt, K.R. (1983). A Static Analysis of CSP Programs. In: Proceedings of the Workshop on Program Logic, Pittsburgh, PA.
5. Baber, R.L. (1990). Fehlerfreie Programmierung für den Software-Zauberlehrling. Oldenbourg Verlag, München/Wien.