Gramlich, B. (1990). Completion based inductive theorem proving: A case study in verifying sorting algorithms. Fachber. Informatik, Univ. Kaiserslautern.
Chicago-Zitierstil (17. Ausg.)Gramlich, Bernhard. Completion Based Inductive Theorem Proving: A Case Study in Verifying Sorting Algorithms. Kaiserslautern: Fachber. Informatik, Univ. Kaiserslautern, 1990.
MLA-Zitierstil (9. Ausg.)Gramlich, Bernhard. Completion Based Inductive Theorem Proving: A Case Study in Verifying Sorting Algorithms. Fachber. Informatik, Univ. Kaiserslautern, 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.