Varieties of ordered algebras (1976)

by S L Bloom
Venue:J. Comput. System Sci