PPP compression, VJ compression

Hi Guys,

Does any one know good explanation for both PPP compressions? What is the RFC? Is it MPPC? How much traffic it can save for example?