The journal of functional programming publishes reviews of books on functional programming an related subjects. A list of currently available titles is always at http://www.cs.kent.ac.uk/people/staff/sjt/JFP/available.html and currently it lists Inductive Synthesis of Functional Programs Ute Schmid Verification of Reactive Systems: Formal Methods and Algorithms Klaus Schneider Duration Calculus: A Formal Approach to Real-Time Systems Zhou Chaochen, Michael R. Hansen Concepts, Techniques and Models of Computer Programming Peter van Roy and Seif Haridi Programming Languages and Operational Semantics Maribel Fernandez The Haskell Road to Logic, Maths and Programming Kees Doets and Jan van Eijck If you are interested in reviewing any of these titles, or if you would like to suggest any other books for review, please mail me. If you are interested, but not sure what writing a review involves, there are review guidelines at http://uk.cambridge.org/journals/functionalprogramming/reviews.htm Regards Simon Thompson