Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / - Lauer, Peter E. (Springer-Verlag, 1993)