On Multi-language Abstraction