A calculus of open modules: call-by-need strategy and confluence