Book

Logics of Programs

by Dexter Kozen