M. R. Manzini (2009). PRO, pro and NP-trace (raising) are interpretations.