An analysis of length equation using a dynamic approach. - T. Y. Chen; S. C. Kwan (ACM SIGPLAN Notices, 1986)