For those of you not reading the Extreme Programming mailing list, Ron 
Jeffries is currently blogging about Extended Set Theory and a more or 
less test driven implementation in Ruby. You can find the articles here:

   http://www.xprogramming.com/xpmag/index.htm

Regards,
Pit