Lauer, P. E. (1993). Functional programming, concurrency, simulation and automated reasoning: International lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Springer-Verlag.
Chicago Style (17th ed.) CitationLauer, Peter E. Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Berlin ; New York: Springer-Verlag, 1993.
MLA (9th ed.) CitationLauer, Peter E. Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Springer-Verlag, 1993.
Warning: These citations may not always be 100% accurate.