http://www.hardproblem.ru/en/posts/Bibliography/types-indicated-and-initiated/