Formal Models in Programming by Erich J. Neuhold | Menrva Books | MenrvaBooks