Programmverifikation by Krzysztof R. Apt | Menrva Books | MenrvaBooks