ALGEBRAIC METHODS: THEORY,TOOLS AND APPLICATIONS (LNCS -394) - BERGSTRA,J.A (ED), WIRSING,M (ED) (SV BERLIN, 1989)
BR-1144