O. Firman, T. Hegemann, B. Klemz, F. Klesen, M. Sieper, A. Wolff, und J. Zink. Proc. 50th Int. Conf. Current Trends Theory &
Practice Comput. Sci. (SOFSEM'24), Volume 14519 von Lecture Notes in Computer Science, Seite 240--254. Springer-Verlag, (2024)