Designing verifiable expert systems. - John Yen; Jonathan Lee 001; David Hamilton (TAI, 1990)

Toward a general methodology for specifying expert systems. - Jonathan Lee 001; John Yen (ICTAI, 1991)

TAME: An Integrated Environment for Task-Based Knowledge and Specification Acquisition. - Jonathan Lee 001; John Yen; Josette Pastor (ICTAI, 1992)

A Task-Based Methodology for Specifying Expert Systems. - John Yen; Jonathan Lee 001 (IEEE Expert, 1993)

Enhancing the Software Life Cycle of Knowledge-Based Systems Using a Task-Based Specification Methodology. - Jonathan Lee 001; John Yen (Int. J. Softw. Eng. Knowl. Eng., 1993)

A tool for task-based knowledge and specification acquisition. - Jonathan Lee 001; John Yen; Josette Pastor (Int. J. Intell. Syst., 1994)