J. G. Henriksen og P. S. Thiagarajan, “A Product Version of Dynamic Linear Time Temporal Logic”, BRICS, bd. 4, nr. 9, jan. 1997.