Zurab Khasidashvili Mizuhito Ogawa Perpetuality and Uniform Normalization. 240-255 1997 conf/alp/1997 ALP/HOA db/conf/alp/alp97.html#KhasidashviliO97 http://dx.doi.org/10.1007/BFb0027014