Lawrence F. Arnstein, Donald E. Thomas. Applications of attributed-behavior synthesis. 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 29-34, ACM, 1994. [doi]
Abstract is missing.