Johan Ovlinger Mitchell Wand A Language for Specifying Recursive Traversals of Object Structures. 70-81 1999 OOPSLA http://doi.acm.org/10.1145/320384.320391 db/conf/oopsla/oopsla99.html#OvlingerW99