Francesco Quaglia, Roberto Baldoni, Bruno Ciciani: On the No-Z-Cycle Property in Distributed Executions. J. Comput. Syst. Sci. 61(3): 400-427 (2000)