The symbolic execution of software : the SYM-BOL system /
Coward, David.
Ince, Darrel.
London : Chapman & Hall,
1995.