A first order logic of effects (1997)

by I A Mason
Venue:Theoretical Computer Science