Kalman filtering

I see that GPS.NET 3.0 use "Kalman filtering" for advanced GPS precision. I'm interesting on it but I don't understand very well the algorithm used for that in GPS.NET 3.0. Someone has documentation about such algorithm ? Is it really interresting
to use this kind of filtering with a PDA GPS like the Mio P550 ot he TDS Nomad ?