James E. McDonald, Donald W. Dearholt, Kenneth R. Paap, Roger W. Schvaneveldt: A formal interface design methodology based on user knowledge. CHI 1986: 285-290