points-to: add few comments

Add references to the theses and few misc comments