Formale Programmentwicklung mit dynamischer Logik | Myboeken