C. Bolz, L. Diekmann, and L. Tratt. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, page 167--182. ACM, (2013)
C. Bolz, M. Leuschel, and D. Schneider. Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, page 99--108. ACM, (2010)