There is a new release of the Z Word Tools, Release 3.2
Release 3.2 includes a tool to convert from Spivey Z to Standard Z. As well as converting specifications in Word, this can be downloaded separately to convert LaTeX files on any system. It can be used stand-alone or as a Java class incorporated into other Standard-based tools.
Other changes make it easier to avoid corrupting the document structure, fix some problems with erratic behaviour of the automatic formatting, and improve the load/unload behaviour.
The release works with all versions of Word, including Word 2013 (currently in preview).
The tools are available from
http://sourceforge.net/projects/zwordtools/