@进行中{DBLP:conf/lics/KammarLMS17，title=“完整地面参考电池的单子”，author=“Ohad Kammar和Paul Blain Levy以及Sean K.Moss和Sam Staton”，year=“2017”，booktitle=“第32届年度{ACM/IEEE}计算机科学逻辑研讨会，{LICS}2017，冰岛雷克雅未克，2017年6月20日至23日”，pages=“1--12”，publisher=“{IEEE}计算机学会”，url=“https://doi.org/10.1109/LICS.2017.8005109”，doi=“10.1109/LICS.2017.8005109”，}