%0 Journal Article
%T Property transformation under specification change
%A Fu, Zheng
%A Smith, Graeme
%J "Frontiers of Computer Science"
%V 5
%N 1
%P 1-13
%@ 2095-2228
%D 2011-03-01
%I SP Higher Education Press
%~ DeepDyve