Formal Reasoning About Efficient Data Structures: A Case Study in ACL2 (2004)

by J L Ruiz–Reina, J A Alonso, M J Hidalgo, F J Martín
Venue:In Logic Based Program Synthesis and Transformation, LNCS 3018