Scott Davidson. High level design automation tools (session overview). In Terry M. Walker, Wayne D. Dominick, editors, Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985. pages 73, ACM, 1985. [doi]
Abstract is missing.