1. J.C.M. Baeten, J.A. Bergstra, and J.W. Klop. Decidability of Bisimulation Equiva-lence for Processes Generating Context-Free Languages. Tech. Rep. CS-R8632, 1987. CWI.
2. A. Bouajjani, R. Echahed, and J. Sifakis. On Model Checking for Real-Time Proper-ties with Durations. In 8th Symp. on Logic in Computer Science. IEEE, 1993.
3. G.S. Boolos and R.C. Jeffrey. Computability and Logic. Cambridge Univ. Press, 1974.
4. O. Burkart and B. Steffen. Model Checking for Context-Free Processes. In CONCUR’92. Springer-Verlag, 1992. LNCS 630.
5. J.R. Buchi. On a Decision Method in Restricted Second Order Arithmetic. In Intern. Cong. Logic, Method and Philos. Sci. Stanford Univ. Press, 1962.