The art of computer programming: V.2.: Seminumerica algorithms