SMAL - The symbol manipulation language. - Ján Chovanec; Ada Chudá; Eduard Kostolanský; Dusan Ondrus (Kybernetika, 1973)