David C. J. Matthews
发表
Markus Wenzel,
David C. J. Matthews,
M. Wenzel,
2010,
DAMP '10.
David C. J. Matthews,
1983
.
Thierry Le Sergent,
David C. J. Matthews,
1995,
IWMM.
David C. J. Matthews,
1987,
DBPL.
David C. J. Matthews,
1985,
Data Types and Persistence , Informal Proceedings.
David C. J. Matthews,
1987
.
David C. J. Matthews,
D. Matthews,
1985,
SIGP.
David C. J. Matthews,
1987,
POS.
Yue Li,
Gabriel Dos Reis,
David C. J. Matthews,
2011,
Calculemus/MKM.