Stronkowski, M. M. Grzegorczyk Algebras Revisited. B Sect Log 2018, 47, 129–139.