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