作　　者：Caterina A. M. La Porta ;Maria Chiara Lionetti ;Heiko F. Marten 等

出　　处：Proceedings of the National Academy of Sciences. 2019 ;116(38):18777-18782.doi:10.1073/pnas.1904984116

出 版 社：The National Academy of Sciences of the United States of America

文 章 ID：239775253

作　　者：Jan A. Bergstra

出　　处：Computer Science Journal of Moldova. 2019 ;27(2):131-161.

出 版 社：Institute of Mathematics and Computer Science

文 章 ID：240400690

作　　者：Jan A. Bergstra ;Cornelis A. Middelburg

出　　处：Computer Science Journal of Moldova. 2018 ;26(3):199-232.

出 版 社：Institute of Mathematics and Computer Science

文 章 ID：219800417

作　　者：Jan A. Bergstra ;Cornelius A. Middelburg

出　　处：Scientific Annals of Computer Science. 2019 ;XXIX(2):113-139.doi:10.7561/SACS.2019.2.113

出 版 社：Alexandru Ioan Cuza University of Iasi

文 章 ID：1034531979

作　　者：Jan A. Bergstra

出　　处：Scientific Annals of Computer Science. 2021 ;XXXI(1):1-50.doi:10.7561/SACS.2021.1.1

出 版 社：Alexandru Ioan Cuza University of Iasi

文 章 ID：1035200928

作　　者：Jan A. Bergstra ;John V. Tucker

出　　处：Scientific Annals of Computer Science. 2022 ;XXXII(1):87-107.doi:10.7561/SACS.2022.1.87

出 版 社：Alexandru Ioan Cuza University of Iasi

文 章 ID：1038318700

作　　者：Jan A. Bergstra

出　　处：Scientific Annals of Computer Science. 2022 ;XXXII(1):5-86.doi:10.7561/SACS.2022.1.5

出 版 社：Alexandru Ioan Cuza University of Iasi

文 章 ID：1038318705