A general consistency technique for increasing the controllability of high level synthesis tools. - Lawrence F. Arnstein; Donald E. Thomas (ICCAD, 1993)

The Attributed-Behavior Abstraction and Synthesis Tools. - Lawrence F. Arnstein; Donald E. Thomas (DAC, 1994)

Applications of attributed-behavior synthesis. - Lawrence F. Arnstein; Donald E. Thomas (HLSS, 1994)