Protocol Analysis, Second Edition door Kenneth Reed