@conference{Huts96,
	author = {Hutschenreuther, T.},
	title = {Erfahrungen bei der Spezifikation von Kommunikationsprotokollen mit ExpressV-HDL},
	year = {1996},
	publisher = {4. GI/ITG/GME Workshop Methoden des Entwurfs und der Verifikation digitaler Systeme, Kreischa, 25.-27. März 1996, pp. 61-70}
}