Giorgio Delzanno Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. 123-137 2001 conf/flops/2001 FLOPS http://link.springer.de/link/service/series/0558/bibs/2024/20240123.htm db/conf/flops/flops2001.html#Delzanno01