@InProceedings{ adhp2000, author = "Holger Austinat and Volker Diekert and Ulrich Hertrampf and Holger Petersen", booktitle = "Proc. RIMS Symposium on Algebraic Systems, Formal Languages and Computation, Kyoto, Japan", title = "On Regular Frequency Computations", year = "2000", pages = "35--42" }