A mechanically verified incremental garbage collector
scientific article; zbMATH DE number 672026
scientific article