Compiling concurrent rewriting onto the rewrite rule machine - Aida, Hitoshi; Goguen, Joseph 1941-2006; Meseguer, José (1990)