International contracting-a formal language approach | IEEE Conference Publication | IEEE Xplore