https://animalistas.info/26282640-design-and-implementation-of-symbolic-computation-systems-international-symposium-disco-92-bath-u-k-april-13-15-1992-proceedings-by-john-fitch.html