Academic texts about  Lesniewski; Hintze; Formalsprachen;