E. Cooper, and P. Wadler. PPDP '09: Proceedings of the 11th ACM SIGPLAN conference on Principles
and practice of declarative programming, page 231--242. New York, NY, USA, ACM, (2009)
E. Ezra, and M. Sharir. FOCS '07: Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science, page 525―535. Washington, DC, USA, IEEE Computer Society, (2007)