@Article{intpredef,

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

title = {Interpolation for predefined types},

journal = {Mathematical Structures in Computer Science},

volume = 22,

number = 1,

pages = {1--24},

year = 2012}