Programming errors in traversal programs over structured data (2008)

by R Lämmel, S Thompson, M Kaiser
Venue:Proceedings of LDTA 2008