The Symbolic execution of software - Coward, David (Madras Chapman and Hall, 1995)