Yutaka Hirakawa Comments on ``On the Projection Method for Protocol Verification''. 370-371 http://www.computer.org/tse/ts1990/e0370abs.htm 1990 16 IEEE Trans. Software Eng. 3 db/journals/tse/tse16.html#Hirakawa90