Software for the rewrite rule machine - Goguen, Joseph 1941-2006; Meseguer, José (1988)