@Misc{Mat90,
    Author       = "Matuszewski, R.",
    Year         = "1990",
    Title        = "{Formalized Mathematics}",
    Note         = "{http://www.mizar.org/fm/}",
    Comment      = "TPTPRef"
}