Mark Dawson
发表
Mark Dawson,
1991,
LPAR.
Steven J. Vickers,
Mark Dawson,
1994,
Theory and Formal Methods.
Mark Dawson,
1993,
Theory and Formal Methods.
Robyn Betts,
John Handmer,
Mark Dawson,
2005
.
Mark Dawson,
2005
.
Mark Dawson,
Peter Hartley,
2010
.
Thomas Ryberg,
Jacob Davidsen,
Sarah Hayes,
2021,
The Methodology and Philosophy of Collective Writing.