"Dynamic Logic " - читать интересную книгу автора (David Harel, Dexter Kozen, Jerzy Tiuryn)