Rigorous derivation of a sophisticated algorithm smoothshort - Furbach, Ulrich 1948-; Schmitz, Lothar 1949- (Hochschule der Bundeswehr München, 1983)