@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
}