The Structure Of Decidable Locally Finite Varieties by Ralph Mackenzie & Matthew Valeriote