4 works on record
Parallele numerische Verfahren
Symbolic Algebraic Methods and Verification Methods
ICIAM/GAMM 95 Vol. 1
Scientific Computing and Validated Numerics