4 works on record
The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)
Games Actions And Social Software
Computational Semantics with Functional Programming
Liber Amicorum Alberti. A Tribute to Albert Visser