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