ALAM - Atlas Lisp Algebraic Manipulator. - R. A. d'Inverno (Comput. J., 1969)

CLAM - Its Function, Structure and Implementation. - R. A. d'Inverno; R. A. Russell-Clark (Comput. J., 1974)

Quartic Equations and Algorithms for Riemann Tensor Classification. - Jan E. Åman; R. A. d'Inverno; G. C. Joly; Malcolm A. H. MacCallum (EUROSAM, 1984)

Progress on the Equivalence Problem. - Jan E. Åman; R. A. d'Inverno; G. C. Joly; Malcolm A. H. MacCallum (European Conference on Computer Algebra (2), 1985)