1. S. Balemi, P. Kozák, and R. Smedinga, editors. Discrete Event Systems: Modeling and Control, volume 13 of Progress in Systems and Control Theory. Birkhäuser Verlag, Basel, Switzerland, 1993. (Proceedings of the Joint Workshop on Discrete Event Systems (WODES'92), August 26–28, 1992, Prague, Czechoslovakia).
2. J.E. Hopcroft and J.D. Ullman. Introduction to automata theory, languages, and computation. Addison Wesley, 1979.
3. R. Smedinga. Control of discrete events. PhD thesis, University of Groningen, 1989.
4. R. Smedinga. The reflection operator in discrete event systems. Technical Report CS9201, Department of computing science, University of Groningen, 1992.
5. R. Smedinga. Discrete event systems. course-notes, second version, Department of computing science, University of Groningen, 1993.