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

by H P Sanders