1. M. A. Bednarczyk. Categories of asynchronous systems. PhD thesis, University of Sussex, 1988. PhD in computer science, report no.1/88.
2. Allan Cheng, Javier Esparza, and Jens Palsberg. Complexity results for 1-safe nets. In Proc. FST&TCS 13, Thirteenth Conference on the Foundations of Software Technology & Theoretical Computer Science, pages 326–337. Springer-Verlag (LNCS 761), Bombay, India, December 1993. To appear in TCS, volume 148.
3. Edmund M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite state concurrent system using temporal logic. ACM Transactions on Programming Languages and Systems, 8(2):244–263, 1986.
4. Allan Cheng. Local Model Checking and Traces. Technical report, Daimi, Computer Science Department, Aarhus University, May 1994. BRICS Report Series RS-94-17.
5. Allan Cheng. Complexity Results for Model Checking. Research Series RS-95-18, BRICS, Department of Computer Science, University of Aarhus, 1995.