MONA 1.x: New Techniques for WS1S and WS2S. - Jacob Elgaard; Nils Klarlund; Anders Møller (CAV, 1998)

Compile-Time Debugging of C Programs Working on Trees. - Jacob Elgaard; Anders Møller; Michael I. Schwartzbach (ESOP, 2000)