@INPROCEEDINGS{pace:dcc2002,
	AUTHOR      = {Koen Claessen and Gordon J. Pace},
	BOOKTITLE   = {Designing Correct Circuits '02, Grenoble, France},
	MONTH       = apr,
	TITLE       = {An Embedded Language Framework for Hardware Compilation},
	YEAR        = {2002}
}