Examples 8.1 through 8.5 added.