Mechanical analysis of program complexity (1985)

by D LeM'etayer
Venue:ACM SIGPLAN Symposium on Programming Languages and Programming Environments