Spectra of monadic second-order formulas with one unary function | IEEE Conference Publication | IEEE Xplore