Architectural design of the rewrite rule machine ensemble - Aida, Hitoshi; Leinwand, Sany; Meseguer, José (1990)