Henriksen, Jesper G., and P. S. Thiagarajan. “A Product Version of Dynamic Linear Time Temporal Logic”. BRICS Report Series 4, no. 9 (January 9, 1997). Accessed November 23, 2024. https://tidsskrift.dk/brics/article/view/18800.