इसका टेक्स्ट मैसेज भेजे: Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.