Campbell, S. J.; Wainwright, J. "Algebraic computing and the Newman-Penrose formalism in general relativity" General Relativity and Gravitation, vol. 8, Dec. 1977, pp987-1001

Languages mentioned

• CAMAL {1968} CAMbridge ALgebra system