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