Luping Chen John H. R. May Methods for Enhancing Safety Wrapper Design. 77-82 2004 conf/gi/2004-1 GI Jahrestagung (1) db/conf/gi/gi2004-1.html#ChenM04