A mechanically verified incremental garbage collector (1994)

by D M RUSSINOFF
Venue:Formal Aspects of Computing