URL: http://www.cam.sri.com/tr/crc072/paper.ps.Z TWLT 13 Formal Semantics and Pragmatics of Dialogue; 1998