Functional programming, concurrency, simulation and automated reasoning by Peter E. Lauer | Menrva Books | MenrvaBooks