Tim Sherwood
发表
Patrick Schaumont,
Andrew C. Myers,
Benjamin C. Pierce,
2016,
ArXiv.
Meghan Cowan,
Armin Alaghi,
Eddy Ilg,
2021,
ArXiv.