David S. Hardin. The Specification, Verification, and Implementation of a High-Assurance Data Structure: An ACL2 Approach. In 46th Hawaii International Conference on System Sciences, HICSS 2013, Wailea, HI, USA, January 7-10, 2013. pages 5059-5067, IEEE, 2013. [doi]
Abstract is missing.