HITS: a symbolic testing and debugging system for multilingual microcomputer software. - Takeshi Chusho; Atsushi Tanaka; Eri Okamoto; Akinori Honda; Toru Kurosaki (AFIPS National Computer Conference, 1983)