Functional Programming, Concurrency, Simulation and Automated Reasoning 1993