Kourie, Derrick G. <br/><br/>
The Correctness-by-Construction Approach to Programming 

<br/><br/><label>ISBN: </label>9783642279195