1. A critique of Abelson and Sussman: why calculating is better than scheming;Wadler;ACM SIGPLAN Notices,1987
2. Haskell 98 Language and Libraries: The Revised Report,2003
3. Hope: an experimental applicative language;Burstall,1980
4. Matching objects with patterns;Emir,2007
5. A pattern matching compiler for multiple target languages;Moreau,2003