Programming with Constraints: An Introduction
"Certainly it is a worthy, comprehensive and scholarly contribution that should help open up the field at advanced undergraduate and taught-postgraduate level."  --Jonathan Bowen,The Times Higher Education Supplement,February 5, 1999