Weiguang Peng, Takeshi Yamazaki: Two kinds of fixed point theorems and reverse mathematics. Math. Log. Q. 63(5): 454-461 (2017)