The Internet, The Web, and eBusiness: Formalizing Applications for the Real World - 9780810851672