Sander, H. P. (1992). A logic of functional programs with an application to concurrency.
Chicago Style (17th ed.) CitationSander, Herbert P. A Logic of Functional Programs with an Application to Concurrency. Göteborg, 1992.
MLA (9th ed.) CitationSander, Herbert P. A Logic of Functional Programs with an Application to Concurrency. 1992.
Warning: These citations may not always be 100% accurate.