Translation Equations. - Vere, Steven (Communications of the ACM, 1970)