@InCollection{zbMATH07350315，作者={Certezeanu、Razvan和Drossopoulou、Sophia和Egelund-Muller、Benjamin和Leino、K.Rustan M.和Sivarajan、Sinduran和Wheelhouse、Mark}，标题={重新访问快速排序。{验证}快速排序的替代版本}，BookTitle={形式方法的理论与实践。纪念法兰克·德·波尔60岁生日的文章}，ISBN＝{978-3-319-30733-6；978-3-319-30734-3}，页码={407--426}，年份={2016年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-30734-3_27}，关键词={68P10,68Q60}，zbMATH={7350315}，Zbl=｛1475.68102｝}