A Calculational Approach to Recursive Programs with Effects (2001)

by A Pardo