1. Lecture Notes in Computer Science;B. Adsul,2002
2. Alur, R., Peled, D., Penczek, W.: Model-checking of causality properties. In: Proc. of LICS 1995, pp. 90–100. IEEE Computer Society Press, Los Alamitos (1995)
3. Diekert, V., Gastin, P.: Local temporal logic is expressively complete for cograph dependence alphabets. Information and Computation 195, 30–52 (2004)
4. Lecture Notes in Computer Science;V. Diekert,2004
5. Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific, Singapore (1995)