David R. Piegdon
发表
Lexi Pimenidis,
David R. Piegdon,
2007,
DIMVA.
Benedikt Bollig,
Joost-Pieter Katoen,
Martin Leucker,
2010,
CAV.