\bibstyle{alpha}
\bibdata{manual}
\citation{Soi93}
\citation{Soi04}
\citation{Nau90,MP14}
\citation{JK07}
\citation{Nau90,MP14}
\citation{JK07}
\citation{Cam99}
\citation{CSS99}
\citation{HL99}
\citation{Soi06}
\citation{BCN89}
\citation{BCN89}
\citation{BCN89}
\citation{PS97}
\citation{PS97}
\citation{BCN89}
\citation{Nau90,MP14}
\citation{JK07}
\citation{Nau90,MP14}
\citation{JK07}
\citation{Hae81}
\citation{Cam99}
\citation{Hae81}
\citation{Hae81}
