Mixed symbolic-numerical computations with general DAEs I: System properties. - Stephen L. Campbell; R. Hollenbeck; K. Yeomans; Yangchun Zhong (Numer. Algorithms, 1998)