Colin C. Charlton, D. Jackson, Paul H. Leng. A functional model of clocked microarchitectures. In Proceedings of the 22nd Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1989, Dubin, Ireland, August 14-16, 1989. pages 207-212, ACM/IEEE, 1989. [doi]
Abstract is missing.