“Many computer programs of the present day are of inordinate size—many thousands of pages of closely printed text. Mathematics has no tradition of dealing with expressions on this scale.”
Tony Hoare (verified)
• Title: The Mathematics of Programming
• Author: Tony Hoare
• Type: Article
• Publisher: Prentice-Hall
• Publication time: October 17, 1985
• Publication place: New Jersey, United States
• Link: https://dl.acm.org/doi/10.5555/63445.C1104376