Henriksen, J.G. og Thiagarajan, P.S. 1997. A Product Version of Dynamic Linear Time Temporal Logic. BRICS Report Series. 4, 9 (jan. 1997). DOI:https://doi.org/10.7146/brics.v4i9.18800.