Eine Prolog-Umgebung für die Mikroarchitekturbeschreibung im Firmware-Entwurfssystem MIPES. - Andreas Munke (1989)