Software for the rewrite rule machine - Goguen, Joseph 1941-2006; Meseguer, José (Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL, 1988)