@inproceedings{TSWHG1989,
               author = {T. Wecker, S. Kumar, W. Rosenstiel, H. Krämer, G. Neher},
               title = {CALLAS - ein System zur automatischen Synthese digitaler Schaltungen},
               booktitle = {Informatik - Forschung und Entwicklung},
               publisher = {Springer Verlag},
               year = {1989},
               pages = {37-54},
}