@INPROCEEDINGS{pace:fdpe2002,
	AUTHOR      = {Koen Claessen and Gordon J. Pace},
	BOOKTITLE   = {Functional and Declarative Programming in Education (FDPE 2002), 
	               Pittsburgh, Pennsylvania, USA},
	MONTH       = sep,
	TITLE       = {An Embedded Language Approach to Teaching Hardware Compilation},
	YEAR        = {2002}
}