Wolfgang Gellerich Erhard Plödereder : Parameter-Induced Aliasing and Related Problems can be Avoided. 161-172 1997 conf/adaEurope/1997 Ada-Europe db/conf/adaEurope/adaEurope1997.html#GellerichP97 http://dx.doi.org/10.1007/3-540-63114-3_15