Functional programming, concurrency, simulation and automated reasoning. International lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
The articles of this volume will not be indexed individually.
scientific article; zbMATH DE number 477572