An Isabelle/HOL-based model of stratego-like traversal strategies. - Markus Kaiser 002; Ralf Lämmel (PPDP, 2009)

Programming errors in traversal programs over structured data. - Ralf Lämmel; Simon J. Thompson; Markus Kaiser 002 (Sci. Comput. Program., 2013)