Reliable plan selection by intelligent machines - McInroy, John E. (World Scientific,c, 1995)