A Case History Development of a Foolproofing Interface Documentation System. - Takeshi Nakajo; Isao Azuma; Masato Tada (IEEE Trans. Software Eng., 1993)