APA (7th ed.) Citation

Nipkow, T., & Blanchette, J. (2021). Functional algorithms, verified! [Verlag nicht ermittelbar].

Chicago Style (17th ed.) Citation

Nipkow, Tobias, and Jasmin Blanchette. Functional Algorithms, Verified! [Erscheinungsort nicht ermittelbar]: [Verlag nicht ermittelbar], 2021.

MLA (9th ed.) Citation

Nipkow, Tobias, and Jasmin Blanchette. Functional Algorithms, Verified! [Verlag nicht ermittelbar], 2021.