Cambridge and CPL in the 1960s.

Published in: High. Order Symb. Comput. (2000)