Simon N. Foley Believing the Integrity of a System: (Invited Talk). 3-12 2004 conf/arspa/2004 ARSPA@IJCAR https://doi.org/10.1016/j.entcs.2004.09.037 db/conf/arspa/arspa2004.html#Foley05