The Electronic Colloquium on Computational Complexity (ECCC) a digital library in use - Bern, Jochen; Damm, Carsten; Meinel, Christoph (Univ. Trier, Math./Informatik, 1997)