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