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

by William L. Harrison, James Hook
Venue:JOURNAL OF COMPUTER SECURITY