Whoops; I sent a slightly out of date pointer for the ITP paper. The real version can be found at: http://nms.lcs.mit.edu/papers/itp00.ps http://nms.lcs.mit.edu/papers/itp00.ps.gz Sorry about that. -Dave