J. G. Henriksen og P. S. Thiagarajan, “Dynamic Linear Time Temporal Logic”, BRICS, bd. 4, nr. 8, jan. 1997.