Describing and Verifying Web Service Using Type Theory | IEEE Conference Publication | IEEE Xplore