J. G. Henriksen and P. S. Thiagarajan, “Dynamic Linear Time Temporal Logic”, BRICS, vol. 4, no. 8, Jan. 1997.