Paula Severi, Nora Szasz. Studies of a Theory of Specifications with Built-in Program Extraction. Journal of Automated Reasoning, 27(1):61-87, 2001.
@article{SeveriS01,
title = {Studies of a Theory of Specifications with Built-in Program Extraction},
author = {Paula Severi and Nora Szasz},
year = {2001},
researchr = {https://researchr.org/publication/SeveriS01},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {27},
number = {1},
pages = {61-87},
}