The symbolic execution of software the SYM-BOL system - Coward, David (Chapman & Hall, 1995)