The Formal Definition of Human/Machine Communications. - Harold W. Lawson Jr.; Miquel Bertran; Javier Sanagustin (Softw. Pract. Exp., 1978)