1. Aho, A. V., Sethi, R. and Ullman, J. D. (1985). Compilers: Principles, Techniques, and Tools. Addison–Wesley, 1985, ISBN 0–201–10088–6.
2. Baumgarten, B. and Giessler, A. (1994). OSI Conformance Testing Methodology and TTCN. Elsevier Science B.V., 1994, ISBN 0–444–897127.
3. Belzer B. (1990). Software Testing Techniques. Second Edition, Van Nostrand Reinhold, 1990, ISBN 0–442–20672–0.
4. Koopman, P. and DeVale, J. (2000). The Exception Handling Effectiveness of the POSIX Operating Systems IEEE Transactions on Software Engineering, Vol. 26, No. 9, September 2000, pp. 837–848.
5. Maurer, P. M. (1990) Generating Test Data with Enhanced Context-Free Grammars. IEEE Software, Vol. 7, No. 4, July 1990, pp. 50–56.