Order sorted algebra (1978)

by J A Goguen