Formale Modelle der Softwareentwicklung by Stephan Kleuker