F Moller, S A Smolka and J Srba, On the Computational Complexity of Bisimulation, Redux, Information and Computation, Volume 194(2), Elsevier (2004), pp129–143. doi:10.1016/j.ic.2004.06.003
Casey Hopkins, Faron Moller (2024) Institute of Coding in Wales Digital Skills Bootcamps – Micro-Credentials: A Pilot Project CEP '24: Proceedings of the 8th Conference on Computing Education Practice doi:10.1145/3633053.3633055