Discretization in differential equations and enclosures (Akad.-Verl., 1987)