Scott Davidson: Progress im High-Level Microprogramming. IEEE Softw. 3(4): 18-26 (1986)