APA (7e ed.) Bronvermelding

Coward, D., & Ince, D. (1995). The symbolic execution of software: The SYM-BOL system. Chapman & Hall.

Chicago (17e ed.) Bronvermelding

Coward, David, en Darrel Ince. The Symbolic Execution of Software: The SYM-BOL System. London: Chapman & Hall, 1995.

MLA (9e ed.) Bronvermelding

Coward, David, en Darrel Ince. The Symbolic Execution of Software: The SYM-BOL System. Chapman & Hall, 1995.