Harel, David Dyanamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn - Cambridge: The MIT Press, 2000 - xv, 459p. - Foundation of computing series. . ISBN: 0262082896 Subjects--Topical Terms: Computer logic.--- Dewey Class. No.: 004.015113 / Dy