A logic of functional programs with an application to concurrency - Sander, Herbert P. (1992)
Zugl.: Göteborg, Univ., Diss.