\bibstyle{alpha} \bibdata{./manual,../../../doc/manual} \citation{LeC86} \citation{Sims94} \citation{ECHLPT92} \citation{EHR91} \citation{Holt94} \citation{Sims94} \citation{Sims94}
\bibstyle{alpha} \bibdata{./manual,../../../doc/manual} \citation{LeC86} \citation{Sims94} \citation{ECHLPT92} \citation{EHR91} \citation{Holt94} \citation{Sims94} \citation{Sims94}