Voir la notice de l'article provenant de la source Novi sad journal of mathematics website
@article{NSJOM_1982_12_Nonea_19, author = {Stojmenovi\'c Ivan and Stojkovi\'c Vojislav}, title = {Some proofs by strzctural induction on lists}, journal = {Novi Sad Journal of Mathematics}, pages = {235-250}, publisher = {mathdoc}, volume = {12}, year = {1982}, url = {http://geodesic.mathdoc.fr/item/NSJOM_1982_12_Nonea_19/} }
Stojmenović Ivan; Stojković Vojislav. Some proofs by strzctural induction on lists. Novi Sad Journal of Mathematics, Tome 12 (1982). http://geodesic.mathdoc.fr/item/NSJOM_1982_12_Nonea_19/