@TECHREPORT{infinitemodel09, title = {{On the Need for Infinite Model and a Formal Definition}}, author = {Benoit Combemale and Xavier Thirioux and Jean B{\'e}zivin}, % institution = {INRIA}, year = {2009}, month = jul, notes = {18p.}, url = {./research/2009/coinductive-model-rr.pdf}, }