C. Probst, R. Hansen, and F. Nielson. Formal Aspects in Security and Trust, volume 4691 of Lecture Notes in Computer Science, page 127-142. Springer, (2006)
T. Tolstrup, F. Nielson, and R. Hansen. Formal Aspects in Security and Trust, volume 4691 of Lecture Notes in Computer Science, page 185-201. Springer, (2006)