Formal Verification of an Incremental Garbage Collector
scientific article; zbMATH DE number 2097558