Type and effect systems - behaviours for concurrency (1999)

by Torben Amtoft, Hanne Riis Nielson, Flemming Nielson