Yasuhiko Minamide: A New Criterion for Safe Program Transformations. APLAS 2000: 203-209