A.M.Gravell@ecs.soton.ac.uk (Andy Gravell) (09/03/90)
I am curious to discover why renaming of schema variables (usually written SCHEMA[new/old]) doesn't appear in Mike Spivey's definitive book on Z, the Z notation: a reference manual, Prentice Hall 89. Is this just an omission for reasons of space, or were there in fact problems with giving this schema operator a precise definition? Andy Gravell