G Grätzer 1963 + Wille 1969 congruence-lattice-representation; modern modern foundational text + Pudlák 1976 + Tůma 1986 dim-functions.
G Grätzer 1963 + Wille 1969 congruence-lattice-representation; modern modern foundational text + Pudlák 1976 + Tůma 1986 dim-functions.