An introduction to probability, decision, and inference - LaValle, Irving H. (International series in decision processes, 1970)