Automated Protocol Analysis. - John B. Smith; Dana K. Smith; Eileen Kupstas (Hum. Comput. Interact., 1993)