K. Claessen, und J. Hughes. ICFP '00: Proceedings of the fifth ACM SIGPLAN
international conference on Functional programming, Seite 268--279. New York, NY, USA, ACM, (2000)
T. Arts, J. Hughes, J. Johansson, und U. Wiger. ERLANG '06: Proceedings of the 2006 ACM SIGPLAN
workshop on Erlang, Seite 2--10. New York, NY, USA, ACM, (2006)