Graham Steel: Formal Analysis of Security APIs. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 492-494