Functional programming, concurrency, simulation and automated reasoning international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada / - Lauer, Peter E., (Lecture notes in computer science ;)