Formale Grundlagen der Programmierung by Markus Nebel