Микиртумов, И. (2004) «Композициональные и некомпозициональные типы в интенсиональной логике.», Логические исследования, 110, сс. 200-214. doi: 10.21146/2074-1472-2004-11-0-200-214.