David Pichardie Modular Proof Principles for Parameterised Concretizations. 138-154 2005 conf/cassis/2005 CASSIS http://dx.doi.org/10.1007/11741060_8 db/conf/cassis/cassis2005.html#Pichardie05