B. Wyble
发表
Howard Bowman,
Philip J. Barnard,
Li Su,
2009,
Formal Aspects of Computing.
P. Craston,
Howard Bowman,
B. Wyble,
2006
.