Backward differentiation formula