Исчисления равенств для классов Гжегорчика * n М.Х. Фахми — 1977 Zapiski naucnych seminarov Leningradskogo
Исчисление равенств для примитивно рекурсивных рациональнозначных функций М.Х. Фахми — 1973 Zapiski naucnych seminarov Leningradskogo