Formale Methoden der Informatik by J. Anton Illik