J. Shepherdson
发表
Hyung Jun Ahn,
N. Azarmi,
Habin Lee,
2007,
2007 Innovations in Information Technologies (IIT).
J. Shepherdson,
C. Jones,
N. Medlen,
1999
.