Source: http://ppp-wizard.net/Articles/Single receiver phase ambiguity resolution with GPS data.pdf