Protocol Analysis, Revised Edition by Herbert A. Simon & K. Anders Ericsson