Studies of a Theory of Specifications with built-in Program Extraction (2001)

by Paula Severi, Nora Szasz
Venue:Journal of Automated Reasoning