Foundations and Applications of Mis A Model Theory Approach - Takahara, Yasuhiko; Liu, Yongmei (Springer New York, 2006)