Ats: A language that combines programming with theorem proving (2005)

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