Algorithms and recursive fuctions - Mal'Cev, A. I. (Wolter-Noordhoff Publising, 1970)