E-recursion, forcing and c*-algebras - Chong, Chitat (New Jersey. World scientific, 2014)