Gulfstream: 3 October 2000http://www-formal.stanford.edu/jmc/progress/references.html#bet3 October 2000Previous link 2000 Next link