@Article{Gan96-JFM,
    Author       = "Ganczarski, J.",
    Year         = "1996",
    Title        = "{On the Lattice of Subgroups of a Group}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "5",
    Number       = "3",
    Pages        = "309-312",
    Comment      = "TPTPRef,LATSUBGR"
}