Flemming Nielson. Annotated type and effect systems (1999)

by Hagen