Igor Hansen, Jacek Leszczylowski. On fundamentals of computer-aided design of firmware. In Gearold R. Johnson, Bruce E. Kittinger, editors, Proceedings of the 13th annual workshop on Microprogramming, MICRO 1980, Colorado Springs, Colorado, USA. pages 3-12, ACM, 1980. [doi]
Abstract is missing.