http://www.symbolicdata.org