Book

Dynamic Logic (Foundations of Computing)

by Dexter Kozen