Resources

• http://public.logica.com/~stepneys/cyc/t/type.htm -- type
• http://web.cs.mun.ca/~fiech -- Adrian Fiech
• http://www.cs.jhu.edu/hog -- Hopkins Object Group