Simple Text Editor Formal Specification in Z (zed)