Journal of Functional Programming

As this article doesn't contain an abstract, the image below is necessary to enable the article to be indexed by certain search engines. The resolution of the full-text PDF is much higher than that shown here.

Book Review

Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574