toze a graphical editor for the object z specification language with published presentations and documents on DocSlides.