The structure of decidable locally finite varieties - MacKenzie, Ralph; Valeriote, Matthew (Birkhäuser, 1989)