A Logic of Functional Programs with an Application to Concurrency (1992)

by H Sander
Venue:Ph. D. thesis, Chalmers PMG