Formal Languages and Automata
Gradiva pri predmetu Part IA Discrete Mathematics na univerzi v Cambridgeu. Strani 12–23 natančno razložijo induktivne definicije in dokaze z indukcijo.
Kliknite na povezavo https://www.cl.cam.ac.uk/teaching/1819/DiscMath/2018-2019-stajano-discmath-handout.pdf, če želite odpreti vir.