Mechanized Verification of Refinement. - Niels Maretti (TPCD, 1994)

Partial Model Checking with ROBDDs. - Henrik Reif Andersen; Jørgen Staunstrup; Niels Maretti (TACAS, 1997)

A Comparison of Modular Verification Techniques. - Henrik Reif Andersen; Jørgen Staunstrup; Niels Maretti (TAPSOFT, 1997)