Chen, Taolue and Fokkink, W.J. and Nain, S. (2006) On finite alphabets and infinite bases II: completed and ready simulation. In: Aceto, L. and Ingolfsdottir, A. (eds.) Foundations of Software Science and Computation Structures, 9th International Conference, {FOSSACS} 2006. Springer, pp. 1-15. ISBN 9783540330455.