Results 1-4 are summarized in Sterman (1981, Chapter 7). Result 5 is explained in Sterman (1981, Chapter 6).