J. Fischer, and F. Kurpicz. Stringology, page 62-76. Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, (2017)
T. Fischer, T. Kraus, C. Kirches, and F. Gauterin. Modelica, volume 132 of Linköping Electronic Conference Proceedings, page 132:027. Linköping University Electronic Press, (2017)