Traversals of object structures: specification and efficient implementation
Karl Lieberherr,
Boaz Patt-Shamir,
and Doug Orleans
ACM Trans. Programming Languages and Systems (TOPLAS) 26(2):370–412, Mar 2004
http://portal.acm.org/citation.cfm?id=973102
Cites:
