Implementation of Z Language Edit Tool in MS Word
Xiaolei Gao · 2010
This paper introduce how to add Z language edit component for Microsoft word. One component is about input and output of special symbol, and it is implemented by static tool box; another component is about input and output of schema, axiom, and so on in Z language, and it is implemented by Microsoft's OLE.