An Algorithm Using Symbolic Techniques for the Bel-Petrov Classification of Gravitational Fields. - R. A. Harris; J. D. Zund (Commun. ACM, 1978)