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