A foundational theory of contexts in functional programming Language. - Azza Abdel Rahman Taha Abdel Halim (2001)