Re: Dijkstra's Methodology for Secure Systems Development

[Ian Grant]

    http://livelogic.blogspot.com/2014/09/beware-good-and-wise.html