Order separability of free product of free groups with cyclic amalgamation - Vladimir V. Yedynak (2010)