Revised chapter 7 and added source