Bounded Quantification and Relations Recognizable by Finite Automata. - Teuvo Laurinolli (Acta Informatica, 1978)

On Direct and Inverse Proportionality. - Markku Halmetoja; Pentti Haukkanen; Teuvo Laurinolli; Jorma K. Merikoski; Timo Tossavainen; Ari Virtanen (Am. Math. Mon., 2007)