Yu Sakalauskajte。 关于一类递归程序方案中的等价变换。 (俄语) Zbl 0515.68059号 Mat.Logika底漆。 2, 81-91 (1982).MSC公司:65年第68季度 03B05号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Yu.Sakalauskajte},Mat.Logika引文。2、81-91(1982年;Zbl 0515.68059)
艾达·普卢尤什基亚维奇 递归编程逻辑中切割类型规则的规范。 (俄语) Zbl 0502.68004号 Mat.Logika底漆。 1,33-60(1981年).MSC公司:68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Pluyushkyavichene},Mat.Logika引文。1、33-60(1981年;Zbl 0502.68004)