Two Languages for Estimating Program Efficiency. - Jacques Cohen; Carl Zuckerman (Commun. ACM, 1974)