\bibstyle{alpha}
\bibdata{manual}
\citation{DF04,DF05b,DF06,DF07}
\citation{Sup76,Weh73}
\citation{DF05a}
\citation{DF06,DF07}
\citation{AE05,AE07}
\citation{AE05}
\citation{DF06}
\citation{DF07}
\citation{AE05}
