A logic of functional programs with an application to concurrency
By: Herbert P. Sander
Contributors: Göteborgs universitet
Published: 1992
Language: eng
Number of pages: 186
Notes: Thesis (doctoral)--University of Göteborg, 1992.