Documentation
KHAWARIZM provides all the documentation on Z language.
KHAWARIZM provides equivalents
Z --> PASCAL ( Level 1),
Z --> PASCAL and Z --> C ( Level 2)
KHAWARIZM gives the implementations of all the abstract machines.