&nbsp;<br><ul><li><a href="http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIS-1996-01&amp;mod=0&amp;engl=0&amp;inst=IFI">Bertol, Michael W.</a>: Effiziente Normalform-Algorithmen f&uuml;r Ersetzungssysteme &uuml;ber frei partiell kommutativen Monoiden, Dissertation, 1996.</li>
 <li><a href="http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIS-2000-04&amp;mod=0&amp;engl=0&amp;inst=IFI">Buchholz, Friedhelm</a>: Hierarchische Graphen zur Wegesuche, Dissertation, 2000.</li>
 <li><a href="http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIS-2000-07&amp;mod=0&amp;engl=0&amp;inst=IFI">Gellerich, Wolfgang</a>: Ein datengesteuertes Ausf&uuml;hrungsmodell f&uuml;r Programmiersprachen mit mehrfacher Wertzuweisung, Dissertation, 2000.</li>
 <li><a href="http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIS-2006-04&amp;mod=0&amp;engl=0&amp;inst=IFI">Gherman, Valentin</a>: Scalable Deterministic Logic Built-In Self-Test, Dissertation, 2006.</li>
 <li><a href="http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIS-2000-05&amp;mod=0&amp;engl=0&amp;inst=IFI">Koschke, Rainer</a>: Atomic Architectural Component Recovery for Program Understanding and Evolution, Dissertation, 2000.</li>
</ul>&nbsp;<br>