John Launchbury Jeffrey R. Lewis Byron Cook On Embedding a Microarchitectural Design Language within Haskell. 60-69 1999 conf/icfp/1999 ICFP http://doi.acm.org/10.1145/317636.317784 db/conf/icfp/icfp99.html#LaunchburyLC99