О поиске вывода в исчислениях общего типа С.Ю. Маслов (1973) Zapiski naucnych seminarov Leningradskogo
О правилах типа сечения в исчислениях общего вида С.Ю. Маслов, С.A. Норгела (1974) Zapiski naucnych seminarov Leningradskogo