1. Determining Interfaces Using Type Inference Li, Chun; Edwards, Stephen A. 2004 Reports Computer science