In the last few years the author has published formal technical papers in this area - the essence of these papers is summarized in this book in clear, understandable language that omits most of the mathematical rigor.
eBay