Rüdiger G. K. Loos

The algorithm description language ALDES (report)

Rüdiger G. K. Loos, R. Loos, 1976, SIGS.

The Jacobi symbol algorithm

George E. Collins, Rüdiger G. K. Loos, 1982, SIGS.

Extended polynomial algorithms

Anthony C. Hearn, Rüdiger G. K. Loos, 1973, ACM Annual Conference.

Toward a formal implementation of computer algebra

Rüdiger G. K. Loos, 1974, SIGS.