J. Snell
发表
Sarah Brocklehurst,
Bev Littlewood,
John Snell,
1990
.
Sarah Brocklehurst,
Bev Littlewood,
John Snell,
1990,
IEEE Trans. Software Eng..
F. Richard Moore,
F. R. Moore,
J. Snell,
1990
.