There are lots of texts (eg above) on Kalman Filters. However a good mathematical grounding, including non-linear versions of Kalman Filters, is given in A. Jazwinski, Stochastic Processes and Filtering Theory, Academic press. I have the 1970 edition but I believe there is a 2013 edition