MIMOLA
Machine Independent MicrOprogramming LAnguage
University of Dortmund
An operational hardware specification language. A high-level language that describes CPU architecture at the register-transfer level.
"A Retargetable Compiler for a High-Level Microprogramming Language", 17th Annual Workshop on Microprogramming, P. Marwedel, IEEE 1984, pp.267-274.