Engineering Theories of Software Construction   
ed by Tony Hoare, Manfred Broy and Ralf Steinbruggen 
 - Amsterdam  IOS Press  2001 
 - viii, 357p 
 - NATO Science Series .
<br/><br/><label>ISBN: </label>1586031724 
<br/><br/><label>Dewey Class. No.: </label>005.1  / P017