Uniqueness Theorems for stiff ODE initial value problems - Deuflhard, Peter 1944-2019 (1987)