Introduction to formal program verification - Mili Ali (New York Van Nostrand, 1985)
Keywords: Computer program language; Computer science