Үүнийг мессежээр илгээх: Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer, ed.