Derek Williams
发表
James O'Neill,
Debra F. Laefer,
Derek Williams,
2009
.
Maged M. Michael,
Harold W. Cain,
Cathy May,
2013,
ISCA.
Rajeev Alur,
Milo M. K. Martin,
Jade Alglave,
2012,
CAV.