MIMOLA reference manual Version 3.45 - Jöhnk, Reinhard; Marwedel, Peter (Institut für Informatik und Praktische Mathematik <Kiel>: Bericht, 1989)