Ahmed Saoudi, David E. Muller, Paul E. Schupp. Finite State Processes, Z-Temporal Logic and the Monadic Theory of the Integers. Int. J. Found. Comput. Sci., 3(3):233-244, 1992.
@article{SaoudiMS92, title = {Finite State Processes, Z-Temporal Logic and the Monadic Theory of the Integers}, author = {Ahmed Saoudi and David E. Muller and Paul E. Schupp}, year = {1992}, tags = {e-science, logic}, researchr = {https://researchr.org/publication/SaoudiMS92}, cites = {0}, citedby = {0}, journal = {Int. J. Found. Comput. Sci.}, volume = {3}, number = {3}, pages = {233-244}, }