We introduced them in two phases. The dominant cat came in first, and was nicely integrated as has been described in the question's comments. The remaining pair was brought in and kept isolated in a large bathroom for a week with their own food, water and litter. When the week was up, we put the two in a glass shower recess and opened the bathroom door to allow the others to see them and associate faces with the combined scent. An hour later, well after the hissing had stopped, I locked the three up in a bedroom and let the two newbies out to roam the house for an hour. Then I opened the bedroom door and encouraged a bit of mixing. Seems like that's worked ok and they're socialising reasonably well.
One observation: the one that we brought in first was more aggressive (through the closed bathroom door) towards the two that followed until they were out of the shower recess. Then everything was ok.