Interpolation in practical formal development. (2001)

by D G J Bicarregui, T Dimitrakos, T Maibaum
Venue:Logic Journal of the Interest Group in Pure and Applied Logic,