Protocol analysis by K. Anders Ericsson | Menrva Books | MenrvaBooks