Formal Verification of an Incremental Garbage Collector. - Solange Coupet-Grimal; Catherine Nouvet (J. Log. Comput., 2003)