A Critique of the Burrows, Abadi and Needham Logic.

Dan M. Nessett A Critique of the Burrows, Abadi and Needham Logic. 35-38 1990 24 Operating Systems Review 2 db/journals/sigops/sigops24.html#Nessett90