G. Lowe. Tools and Algorithms for the Construction and Analysis of Systems, том 1055 из Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/3-540-61042-1_43.(1996)
J. Bender, M. Fischlin, и D. Kügler. Information Security, том 5735 из Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-04474-8_3.(2009)