Reference for CTL* logic I need a reference for CTL* logic (preferably easy to understand). 

I have gathered some disperse information regarding temporal and CTL logic but I need a more orderly coverage. A chapter of the multi-agent systems book I read depends on this subject and I am stuck.
See Venema, Yde. Temporal Logic. The blackwell guide to Philosophical Logic.