Gustavus J. Simmons Verification of Treaty Compliance Revisited. 61-66 1983 IEEE Symposium on Security and Privacy db/conf/sp/sp1983.html#Simmons83