Modular verification of equivalence for memory allocating procedures. - Timothy Wood 004 (2016)