Jerzy Tiuryn. Dynamic Logic (2000)

by David Harel, Dexter Kozen