The Verification and Synthesis of Data Structures

Jay M. Spitzen Ben Wegbreit The Verification and Synthesis of Data Structures Acta Inf. 4 1974 127-144 db/journals/acta/acta4.html#SpitzenW74