"A Characterization of the Class of Functions Computable in Polynomial Time ..."

Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini (1981)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics