Henriksen, J.G. and Thiagarajan, P.S. 1997. Dynamic Linear Time Temporal Logic. BRICS Report Series. 4, 8 (Jan. 1997). DOI:https://doi.org/10.7146/brics.v4i8.18798.