http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/freeman-elisabeth.html Elisabeth Freeman's home page