International Conference on Interactive Theorem Proving Brasília, Ayala-Rincón, M., & Muñoz, C. A. (2017). Interactive theorem proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017 : proceedings. Springer. https://doi.org/10.1007/978-3-319-66107-0
Chicago-Zitierstil (17. Ausg.)International Conference on Interactive Theorem Proving Brasília, Mauricio Ayala-Rincón, und César A. Muñoz. Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017 : Proceedings. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-66107-0.
MLA-Zitierstil (9. Ausg.)International Conference on Interactive Theorem Proving Brasília, et al. Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017 : Proceedings. Springer, 2017. https://doi.org/10.1007/978-3-319-66107-0.