D. Fridlender og M. Indrika, “Do we Need Dependent Types?”, BRICS, bd. 8, nr. 10, mar. 2001.