Kirill Zaborski wrote: > Is this paper publicly available somewhere? I think it would be > interesting to read. It is available at: http://user.it.uu.se/~kostis/Papers/contracts.pdf Comments welcome. Kostis