Unfold fold transformation of stratified programs - Seki, Hirohisa (1990)