@article{KYB_1973__9_4_a4,
     author = {Chovanec, J\'an and Chud\'a, Ada and Kostolansk\'y, Eduard and Ondru\v{s}, Du\v{s}an},
     title = {SMAL - {The} symbol manipulation language},
     journal = {Kybernetika},
     pages = {--290},
     publisher = {mathdoc},
     volume = {09},
     number = {4},
     year = {1973},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1973__9_4_a4/}
}