Modal logics for cryptographic processes. M. Gladwell. The Tipping Point, How Little Things Can Make a Big Difference. Little Brown (2000)

by U Frendrup, H Httel, J Nyholm