Henriksen, J. G.; Thiagarajan, P. S. Dynamic Linear Time Temporal Logic. BRICS 1997, 4.