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