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