@Book{Fey50,
    Author       = "Feys, R.",
    Year         = "1950",
    Title        = "{Les systemes formalises de modalites aristoteliciennes}",
    Comment      = "TPTPRef"
}