PDF of conference paper, book verified LL 11.7.13