Akeo Adachi Takumi Kasai Etsuro Moriya A Theoretical Study of the Time Analysis of Programs. 201-207 1979 conf/mfcs/1979 MFCS db/conf/mfcs/mfcs79.html#AdachiKM79 http://dx.doi.org/10.1007/3-540-09526-8_16