Emst, George W. Hookway, Raymond J. Ogden, Wililam F. <br/><br/>
Modular Verfication of Data Abstractions with  Shared Realizations 

 - 288-307 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Data Abstraction<br/>Program Correctness<br/>Verification