see Dettmer Thesis Chapter 5
see Dettmer Thesis Chapter 5