Dynamic logic - Harel David; Kozen Dexter (New Delhi Prentic-Hall, 2000)
Keywords: Dynamic Logic