Formale Modelle der Softwareentwicklung door Stephan Kleuker