@inproceedings{PW1992,
               author = {P. Marwedel, W. Rosenstiel},
               title = {Synthese von Register-Transfer-Strukturen aus Verhaltensbeschreibungen},
               booktitle = {Hauptbeitrag Informatik-Spektrum},
               publisher = {Springer Verlag},
               year = {1992},
               volume = {15},
               pages = {5-22},
}