Specification of Software Component Requirements Using the Trace Function Method. - Colm Quinn; Sergiy A. Vilkomir; David Lorge Parnas; Srdjan Kostic (ICSEA, 2006)