John M. Jeffrey
发表
John M. Jeffrey,
1991,
SIGCSE '91.
Tadao Murata,
John M. Jeffrey,
John Jeffrey,
1990,
SEKE.
Jorge Lobo,
Tadao Murata,
John M. Jeffrey,
1996,
IEEE Trans. Knowl. Data Eng..