Obliczalność funkcji definiowanych rekurencyjnie drogą wykonania programu równego definicjom - Rusiecki, Aleksander (Prace CO PAN ;, 1975)