Synthesizing Delay Insensitive Circuits from Verified Programs. - Hulgaard, Henrik; Christensen, Per H.; Staunstrup, Jørgen (1991)