V. N. Venkatakrishnan: Applications of Formal Methods to Web Application Security. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 45-46