A variable typed logic of effects. Information and Computation (1995)

by F Honsell, I A Mason, S F Smith, C L Tal-cott
Venue:13th IEEE Computer Security Foundations Work-shop, CSFW 2000