Tételek ahol a kulcsszó "Formalizáltság" és a mű dátum "2017"