https://9dok.net/document/yj758wn2-biologicalprocesses-formallanguages-prof-urgendassowotto-guericke-universit-atmagdeburgfakult-urinformatik.html