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

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