"Rigid Designators for Properties" - читать интересную книгу автора (LaPorte Joseph)