The structure of decidable locally finite varieties - McKenzie, Ralph N.; Valeriote, Matthew (Progress in mathematics, 1989)