Sandholm, A. B., and M. I. Schwartzbach. “Distributed Safety Controllers for Web Services”. BRICS Report Series, vol. 4, no. 47, June 1997, doi:10.7146/brics.v4i47.19268.