@INPROCEEDINGS{pace:hfl2007,
	AUTHOR      = {Koen Linstr\"{o}m Claessen and Gordon J. Pace},
	BOOKTITLE   = {Hardware Design and Functional Languages (HFL'07), Braga, Portugal},
	MONTH       = mar,
	TITLE       = {Embedded Hardware Description Languages: Exploring the Design Space},
	YEAR        = {2007}
}