An introduction to formal program verification - Mili, Ali (Van Nostrand Reinhold, 1985)