Theory of class of interpretation models and infinitesimal Triple I arithmetic
ZHANG Xing-fang
Computer Engineering and Applications . 2009, (26): 30 -33 .  DOI: 10.3778/j.issn.1002-8331.2009.26.009