Toward a verified relational database management system. (2010)

by J Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky
Venue:In Principles of Programming Languages (POPL),