http://mcs.kent.edu/~pwang   (Wang homepage)

http://SymbolicNet.mcs.kent.edu/  (NSF SymbolicNet)

http://www.mcs.kent.edu/  (Our Department)