Coward, D., & Ince, D. (1995). The symbolic execution of software: The SYM-BOL system. Chapman & Hall.
Chicago-Zitierstil (17. Ausg.)Coward, David, und Darrel Ince. The Symbolic Execution of Software: The SYM-BOL System. London: Chapman & Hall, 1995.
MLA-Zitierstil (9. Ausg.)Coward, David, und Darrel Ince. The Symbolic Execution of Software: The SYM-BOL System. Chapman & Hall, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.