Semantic specifications for the rewrite rule machine - Goguen, Joseph 1941-2006 (1990)