الوثائق

 

يقدم "خوارزم" جميع الوثائق على لغة Z.

يوفر "خوارزم" الترجمة من Z إلى PASCAL أو C.

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

يتم جمع جميع الوثائق في نص مفرط.