الوثائق |
يقدم "خوارزم" جميع الوثائق على لغة Z.
يوفر "خوارزم" الترجمة من Z إلى PASCAL أو C.
يعطي "خوارزم" بعض التطبيقات الممكنة في PASCAL و C من الآلات المجردة المختلفة
التي تم النظر فيها في لغة Z.
يتم جمع جميع الوثائق في نص مفرط.