Formalisierung von Fertigungsprozessen von Marco Hüster (2013, Taschenbuch)