Guttman. Security Theorems via Model Theory. Open Publishing Association, Nov. 2009, doi:10.4204/eptcs.8.5.