TY  - SER
AU  - Emst, George W.
AU  - Hookway, Raymond J.
AU  - Ogden, Wililam F.
TI  - Modular Verfication of Data Abstractions with  Shared Realizations
KW  - Data Abstraction
KW  - Program Correctness
KW  - Verification
ER  -