Jansson, ChristianChristianJanssonRump, Siegfried M.Siegfried M.Rump2021-05-062021-05-061994Shaker 3-8265-0015-6: 148-170 (1994)http://hdl.handle.net/11420/9467enMathematikSelf-validating methods : some recent developementsBook PartBook Chapter