Backhouse, Ronald C. <br/><br/>
Programme,construction and verification 

 - Englewood Cliffs  Prentice Hall Internationals  1986