Justus Matthiesen
发表
Andrew M. Pitts,
Justus Matthiesen,
Jasper Derikx,
2014,
LSFA.
Robert N. M. Watson,
Peter Sewell,
Kayvan Memarian,
2016,
PLDI.