Sajjan G. Shiva. Combinational logic synthesis from an HDL description. In Edwin B. Hassler Jr., editor, Proceedings of the 17th Design Automation Conference, DAC '80, Minneapolis, Minnesota, USA, June 23-25, 1980. pages 550-555, ACM/IEEE, 1980. [doi]
Abstract is missing.