"Optimizing synchronous systems" - Leiserson, Charles E.; Saxe, James B. (Massachusetts Inst. of Technology, Laboratory for Computer Science, 1982)