Dynamic Logic - David Harel-Dexter Kozen-Jerzy Tiuryn (The MIT Press, 2000)
Keywords: Computer Science; Computer logic.,Formal methods (Computer science); COMPUTERS