GAMESS (美国版)Swalina, Jonathan Skone, Sharon Hammes-Schiffer, Masato Kobayashi, Tomoko Akama, Hiromi Nakai, Peifeng Su, Dejun Si, Yali Wang, Hui Li Gordon Research
F*Hriţcu, Cătălin; Maillard, Kenji; Martínez, Guido; Plotkin, Gordon; Protzenko, Jonathan; Rastogi, Aseem; Swamy, Nikhil. Dijkstra Monads for Free. 44nd