See Chapter 3 extended Version