The Symbolic Execution of Software

by David Coward, Darrel Ince