@article{ELMA_1985__40_141350,
     author = {J. Gutknecht},
     title = {Elementare {Prinzipien} der {Informatik.}},
     journal = {Elemente der Mathematik},
     pages = {11--22},
     publisher = {mathdoc},
     volume = {40},
     year = {1985},
     url = {http://geodesic.mathdoc.fr/item/ELMA_1985__40_141350/}
}