Takumi Kasai Akeo Adachi A Characterization of Time Complexity by Simple Loop Programs. 1-17 1980 20 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss20.html#KasaiA80