Protocol Analysis (1984)

by K A Ericsson, H A Simon