https://animalistas.info/26282633-eurosam-84-international-symposium-on-symbolic-and-algebraic-computation-cambridge-england-july-9-11-1984-by-john-fitch.html