Werner Alexi. Extraction und Verifikation von Programmen durch Analyse formaler Beweise (Extended Abstract). In Herbert Stoyan, editor, GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, September 23-27, 1985, Proceedings. Volume 118 of Informatik-Fachberichte, pages 135-152, Springer, 1985.
Abstract is missing.