Mechanical analysis of program complexity

• 1 January 1985
• proceedings article
• Published by Association for Computing Machinery (ACM)
• Vol. 20  (7) , 69-73
• https://doi.org/10.1145/800225.806828

Abstract