Debasish Ghosh - Algebraic Thinking for evolution of pure functional domain models