  A well known theorem of Burns and Romanovskii states that a free product of
subgroup separable groups is itself subgroup separable. We provide a proof
using the language of immersions and coverings of graphs of groups, due to
Bass.
