Resources

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