@Article{Try90-JMF-TPCP,
    Author       = "Trybulec, A.",
    Year         = "1990",
    Title        = "{Tuples, Projections and Cartesian Products}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "1",
    Number       = "1",
    Pages        = "97-105",
    Comment      = "TPTPRef"
}

@Article{Try90-JFM-PS,
    Author       = "Trybulec, Z.",
    Year         = "1990",
    Title        = "{Properties of Subsets}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "1",
    Number       = "1",
    Pages        = "67-71",
    Comment      = "TPTPRef"
}

@Article{Try90-JFM-TGST,
    Author       = "Trybulec, A.",
    Year         = "1990",
    Title        = "{Tarski Grothendieck Set Theory}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "1",
    Number       = "1",
    Pages        = "9-11",
    Comment      = "TPTPRef"
}

@Article{Try90-JFM-ES,
    Author       = "Trybulec, A.",
    Year         = "1990",
    Title        = "{Enumerated Sets}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "1",
    Number       = "1",
    Pages        = "25-34",
    Comment      = "TPTPRef"
}