APA-viite (7. p.)
Simon Siegler, N. W. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer.
Chicago-viite (17. p.)
Simon Siegler, Nathan Wasser. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Berlín, Alemania: Springer.
MLA-viite (9. p.)
Simon Siegler, Nathan Wasser. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.