Huester, Marco Databases and Information Systems, MPI for Informatics, Max Planck Society;
Huester, M. (2007). Formale Beschreibung von Fertigungsprozessen mit der Prozessalgebra CCS. Bachelor Thesis, Universität des Saarlandes, Saarbrücken.