Hochgenaue und verifizierende Berechnung balancierter Realisierungen für die Modellreduktion linearer Systeme. - Hans-Werner Philippsen (1990)