Computational effects and operations: an overview (2004)

by G D Plotkin, J Power
Venue:Electronic Notes in Theoretical Computer Science