Birkhoff variety theorem for finite algebras Reiterman, Jan (1980) Abstracta. 8th Winter School on Abstract Analysis