Strategies for machine instruction transformation in an expert system. - Man L. Li; Willis K. King (COMPSAC, 1992)