Up to:
jmc home page
Links to work by others
Sandewall group at Linkoping University in Sweden
John McCarthy jmc@cs.stanford.edu