S. M. Brien
发表
S. M. Brien,
A. P. Martin,
S. Brien,
2000,
J. Symb. Comput..
S. M. Brien,
S. Brien,
1992,
MPC.
S. M. Brien,
J. C. P. Woodclock,
1991,
Z User Workshop.