Title: M-grupoidy jako narzędzie do badania własności matematycznych modeli maszyn cyfrowych i programów
Subjects: Machine theory