@Article{igi,

author = {R\u{a}zvan Diaconescu},

title = {Interpolation in {G}rothendieck Institutions},

journal = {Theoretical Computer Science},

volume = 311,

pages = {439--461},

year = 2004

}