3 works on record
Mathematics of program construction
The design and analysis of algorithms
1992
Dynamic Logic