Manfred Haß Development and Application of a Meta IV Compiler. 118-140 1987 conf/fm/1987 VDM Europe db/conf/fm/vdme1987.html#Hass87 http://dx.doi.org/10.1007/3-540-17654-3_10