1 Das Terminierungsproblem ist jedoch unentscheidbar.
Bernhard Rumpe. Agile Modellierung mit UML. Springer 2012