The Mechanized Verification of Garbage Collector Implementations (2008)

by A McCreight