http://baike.baidu.com/view/293795.htm http://www.supelec.fr/docs/cltl/clm/node1.html http://www-formal.stanford.edu/jmc/frames.html