@Article{Ban01-JFM,
    Author       = "Bancerek, G.",
    Year         = "2001",
    Title        = "{Duality Based on the Galois Connection. Part I}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "9",
    Number       = "4",
    Pages        = "767-778",
    Comment      = "TPTPRef,WAYBEL34"
}