Mark Samuel Miller, Jonathan S. Shapiro. Paradigm Regained: Abstraction Mechanisms for Access Control. In Vijay A. Saraswat, editor, Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings. Volume 2896 of Lecture Notes in Computer Science, pages 224-242, Springer, 2003. [doi]