Module algebra (1990)

by J A Bergstra, J Heering, P Klint
Venue:Journal of the ACM