Wojciech Jabłoński (Politechnika Rzeszowska), Iteracje w pierścieniach szeregów formalnych