Biundo-Stephan, S. (1992). Automatische Synthese rekursiver Programme als Beweisverfahren. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-84744-8
Chicago-Zitierstil (17. Ausg.)Biundo-Stephan, Susanne. Automatische Synthese Rekursiver Programme Als Beweisverfahren. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. https://doi.org/10.1007/978-3-642-84744-8.
MLA-Zitierstil (9. Ausg.)Biundo-Stephan, Susanne. Automatische Synthese Rekursiver Programme Als Beweisverfahren. Springer Berlin Heidelberg, 1992. https://doi.org/10.1007/978-3-642-84744-8.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.