@inproceedings{PW1993,
               author = {P. Gutberlet, W. Rosenstiel},
               title = {Interface Specification and Synthesis for VHDL Processes},
               booktitle = {EURO-DAC},
               year = {1993},
               address = {Paris, Frankreich}
}