H. Böttger, A. Møller, and M. I. Schwartzbach, “Contracts for Cooperation between Web Service Programmers and HTML Designers”, BRICS, vol. 10, no. 38, Nov. 2003.