Armstrong systems and Galois connections. - Michiro Kondo; Sho Soneda; Bunpei Yoshii (GrC, 2011)