Functional Programming, Concurrency, Simulation and Automated Reasoning International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada Lauer Peter E. Heftet / 1993 / Engelsk
Specification and Analysis of Concurrent Systems The COSY Approach Janicki Ryszard Heftet / 2011 / Engelsk