Jackson, D. K Damon, Craig A. <br/><br/>
Elements of Style Analyzing a Software Design Feature with  a Counterexample Detector 

 - 484-495 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Abstract<br/>Software Design Project<br/> Formal Specification