Final version for thesis.