@inproceedings{conf/tphol/Reetz95,
	title = {Deep Embedding VHDL.},
	author = {Ralf Reetz},
	booktitle = {TPHOLs},
	crossref = {conf/tphol/1995},
	editor = {E. Thomas Schubert and Phillip J. Windley and Jim Alves-Foss},
	pages = {277-292},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/tphol/tphol95.html#Reetz95},
	volume = {971},
	year = {1995},
	biburl = {http://www.bibsonomy.org/bibtex/2a7e909b469170f1c3d7e1c018e8c2317/dblp},
	description = {dblp},
	isbn = {3-540-60275-5}, date = {2002-01-03},
	keywords = {dblp }
}