Catlin, Donald E. Estimation, control, and the discrete Kalman filter Donald E. Catlin - New York Springer 1989