LNCS 1608 - Advanced Functional Programming (Frontmatter Pages)
S. Doaitse Swierstra, José N. Oliveira & Pedro R. Henriques