Fuzzy Equational Logic - Bělohlávek, Radim; Vychodil, Vilém (Springer Berlin Heidelberg, 2005)