Formal description of programming concepts by Erich J. Neuhold | Menrva Books | MenrvaBooks