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

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