Formal methods by Keijiro Araki | Menrva Books | MenrvaBooks