A PROLOG preprocessor for Warren's abstract instruction set. - Brigitte Knödler; Wolfgang Rosenstiel (Microprocessing and Microprogramming, 1986)