Verifying a concurrent garbage collector using a rely-guarantee methodology
scientific article; zbMATH DE number 6821870