Translating specifications: everything you need to know