The Embounded project (project start paper).
Kevin HammondRoy DyckhoffChristian FerdinandReinhold HeckmannMartin HofmannSteffen JostHans-Wolfgang LoidlGreg MichaelsonRobert F. PointonNorman ScaifeJocelyn SérotAndy WallacePublished in: Trends in Functional Programming (2005)