Hiroyuki Okazaki, Yuichi Futa: Polynomially Bounded Sequences and Polynomial Sequences. Formaliz. Math. 23(3): 205-213 (2015)