Program design which is provably correct: A quantum leap in software - Brossura

 
9780906774281: Program design which is provably correct: A quantum leap in software