Formal methods in computing by Lajos Rónyai | Menrva Books | MenrvaBooks