- Daniel J. Dougherty, Santiago Escobar 0001, editors, Proceedings of the Third International Workshop on Security and Rewriting Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008. Volume 234 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009.