Mechanical analysis of program complexity (1985)

by D le M'etayer
Venue:Proceedings of the SIGPLAN '85 Symposium