Semantic Equivalence of Task-Oriented Programs in TopHat. - Tosca Klijnsma; Tim Steenvoorden (TFP, 2022)