G. Arnold, T. Lippert, N. Pomplun, and M. Richter. PARCO, volume 33 of John von Neumann Institute for Computing Series, page 447-454. Central Institute for Applied Mathematics, Jülich, Germany, (2005)
R. van Glabbeek, U. Goltz, C. Lippert, and S. Mennicke. The Art of Modelling Computational Systems, volume 11760 of Lecture Notes in Computer Science, page 182-205. Springer, (2019)