A User’s Guide for the Reduction System π-RED (1994)

by W E Kluge