Sound Recoveries of Structural Workflows with Synchronization. - Piotr Chrzastowski-Wachtel; Pawel Golab; Bartosz Lewinski (CS&P, 2013)