Paula Severi Nora Szasz Studies of a Theory of Specifications with Built-in Program Extraction. 61-87 2001 27 J. Autom. Reasoning 1 db/journals/jar/jar27.html#SeveriS01