A. B. Sandholm og M. I. Schwartzbach, “Distributed Safety Controllers for Web Services”, BRICS, bd. 4, nr. 47, jun. 1997.