\relax 
\@input{itc.description.aux}
\@input{itc.implementation.aux}
\bibstyle{plain}
\bibdata{itc}
\bibcite{Fisler-VIL96}{1}
\bibcite{Fisler-Johnson-CHDL95}{2}
\bibcite{ProsserWinkel87c}{3}