Ph.D thesis, see also T161