C. Brabrand, A. Møller, A. B. Sandholm, and M. I. Schwartzbach, “A Runtime System for Interactive Web Services”, BRICS, vol. 6, no. 9, Jan. 1999.