D. Pavlovic, P. Pepper, and D. Smith. Mathematics of Program Construction, volume 6120 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2010)
A. Heydarnoori, K. Czarnecki, and T. Bartolomei. ECOOP 2009 – Object-Oriented Programming, volume 5653 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2009)
D. Milne, and I. Witten. CIKM '08: Proceeding of the 17th ACM conference on Information and knowledge mining, page 509--518. New York, NY, USA, ACM, (2008)