:KULISH, Ulrich - STETTER, Hans j. Scientific Computation with Automatic Result Verification. 1. vyd. Wien : Springer, 1988. 244 s. [Copy count : 1, currently available 1, at library only 0]