A mechanically verified incremental garbage collector (1994)

by D M Russinoff
Venue:Formal Aspects Computing