Rudiments of Miu-calculus - Arnold A; Niwinski D (Amsterdam Elsevier, 2001)
Keywords: Lattices