1) 数名:The Calculus of Computation(Decision Procedures with Applications to Verification) 2) PDF带书签目录 3) 程序验证,程序安全,信息安全的基础理论