ATS: A Language That Combines Programming with Theorem Proving (2005)

by Sa Cui, Kevin Donnelly, Hongwei Xi
Venue:Lecture Notes in Computer Science