Stanislav O. Speranski: Some new results in monadic second-order arithmetic. Comput. 4(2): 159-174 (2015)