John T. O'Donnell, Kevin Hammond: Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, July 5-7, 1993. Workshops in Computing, Springer 1994, ISBN 978-3-540-19879-6