@PROCEEDINGS{csl95, BOOKTITLE = {{Proceedings of CSL'95}}, TITLE = {{Proceedings of CSL'95}}, YEAR = 1995, PUBLISHER = {Springer-Verlag}, SERIES = LNCS, VOLUME = {1092}, EDITOR = {H. Kleine Buening} }