Achieving information flow security through monadic control of effects (2005)

by William L Harrison, James Hook
Venue:In Proceedings of the IEEE Workshop on Computer Security Foundations. IEEE Computer