Yasunori Harada Richard Potter Fuzzy rewriting -soft program semantics for children. 39-46 2003 conf/vl/2003 HCC db/conf/vl/hcc2003.html#HaradaP03