@article{29179, title = "Sistema virtual'nych mašin dlja EC EVM. Spravočnik", year = "1985", note = "Tabulky a příkl. v textu, 1 sv.", }