%0 Journal Article 
%F SCP11
%A Djoko Djoko, Simplice
%A Douence, Ré
%A Fradet, Pascal
%T Aspects Preserving Properties
%J Science of Computer Programming
%V 77
%N 3
%P 393-422
%U http://www.sciencedirect.com/science/article/pii/S0167642311001870
%8 March
%D 2012