@inproceedings{TW2000,
               author = {T. Buchholz, W. Rosenstiel},
               title = {Constraint-based Specification of Complex Components},
               booktitle = {Hardware Description Languages Conference (HDLCON)},
               year = {2000},
}