Functional Programming, Concurrency, Simulation and Automated Reasoning 1993

a service of Schloss Dagstuhl - Leibniz Center for Informatics