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