S. Delaune, S. Kremer, M. Ryan, and G. Steel. Formal Aspects in Security and Trust, volume 6561 of Lecture Notes in Computer Science, page 111-125. Springer, (2010)
C. Clarke, K. Steel, and E. Romero-Ramirez. HCI (38), volume 1581 of Communications in Computer and Information Science, page 267-273. Springer, (2022)