%0 Book
%A 
%T Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
%U /book/72109007/Functional-programming-concurrency-simulation-an/