Book

The symbolic execution of software

by David Coward, Darrel Ince, David Coward