John L. Gieser, Robert J. Sheraga. Microarchitecture description techniques. In Joseph A. Fisher, William J. Tracz, Bill Hopkins, editors, Proceedings of the 15th annual workshop on Microprogramming, MICRO 1982, Palo Alto, California, USA, October 5-7, 1982. pages 23-32, ACM/IEEE, 1982. [doi]
Abstract is missing.