Functional Program Testing and Analysis, published in 1987, looks as software test and evaluation from the perspective of the functions a program performs. 

The author explores the concept of proving correctness of software by tracing the paths the program may execute with different imputs.

Although dated, this book offers insight into the early thinking behind software testing as a professional discipline.