J.(2000) Dynamic Logic (0)

by D Harel, D Kozen, Tiuryn