たとえばエジンバラのやつを一つ。
http://homepages.inf.ed.ac.uk/svijayak/

モデルって名前がついてないものがほとんどなわけで、
有名な等価モデルがあるもの位しか名前がついてないような。

あと、メタメタの話は私には少し難しいのですが、
汎用性、具体への適応可能性という意味でメタを使っています。
OOでいったら基底クラスみたいな意味で。