D. Kozen

• Logics of Programs