Martin Janssen, Francky Catthoor, Hugo De Man. A specification invariant technique for operation cost minimisation in flow-graphs. In Pierre G. Paulin, editor, Proceedings of the 7th International Symposium on High Level Synthesis, HLSS'94, Niagra-on-the-Lake, ON, Canada, May 18-20, 1994. pages 146-151, ACM, 1994. [doi]
Abstract is missing.