Using software architecture for code testing - Software ...
Gumm Monoid Labeled
Rigorous Software Development CSCI-GA 3033-011 Instructor: Thomas Wies Spring 2012 Lecture 11.
Language-Based Security Reference Monitors Greg Morrisett Cornell University.
Language-Based Security Reference Monitors