Berechenbarkeit : rekursive und programmierbare Funktionen / Walter Felscher. Berlin [u.a.] : Springer, 1993