Henzinger, Monika H., et al. “Computing Simulations on Finite and Infinite Graphs.”10.1109/SFCS.1995.492576__Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 453–62, doi:10.1109/SFCS.1995.492576.
LibreCat: https://research-explorer.ista.ac.at/record/4498
DOI: 10.1109/SFCS.1995.492576