ПАМЯТКА по составлению прикнижных и пристатейных библиографических списков (ГОСТ 7.1-84) Настоящая «Памятка» содержит примеры библиографического описания практически всех видов печатных изданий. Библиографическое описание — это совокупность сведений о произведении печати или другом документе, а также его части или группе документов, дающих возможность идентифицировать документ и получить представление о его содержании, читательском назначении, объеме, справочном аппарате и т.д. Научные сотрудники постоянно сталкиваются с библиографическим описанием, оформляя прикнижные и пристатейные библиографии, списки литературы к диссертациям, отчетам. Прикнижные и пристатейные библиографические списки и библиографические ссылки являются составной частью справочного аппарата издания и служат источником библиографической информации. В 1984 году был утвержден новый ГОСТ 7.1-84 «Библиографическое описание документа», который введен в действие с января 1986 года. Он предназначен для библиотек и учреждений, ведущих библиографическую работу, для издательств и редакций периодических изданий, авторов, составляющих списки литературы к монографиям, статьям, отчетам, диссертациям. В ГОСТе даны различные варианты библиографического описания. В «Памятке» они приведены с пояснительным словом «или». К оформлению списка литературы следует относиться со всей серьезностью. При его составлении необходимо придерживаться принятых сокращений названий журналов. В «Памятке» приведен список сокращений названий наиболее употребительных журналов по программированию и смежным дисциплинам. Г.В.Курляндчик ОБРАЗЦЫ ОПИСАНИЯ Книги одного–двух авторов Котов В.Е. Сети Петри. — М.: Наука, 1984. — 160 с. Уэзерелл Ч. Этюды для программистов: Пер. с англ. / Под ред. Ю.М.Банковского. — М.: Мир, 1982. — 288 с. Касьянов В.Н., Поттосин И. В. Методы построения трансляторов / Отв. ред. А.П. Ершов. — Новосибирск: Наука, 1986. — 344 с. Dijkstra E.W. A discipline of programming. — Englewood Cliffs: Prentice-Hall, 1976. — 217 p. — (Prentice-Hall Ser. in Automatic Computation). Книги трех авторов Авен О.И. и др. Оценка качества и оптимизация вычислительных систем / О.И.Авен. Н.Н.Гурин, Я.А.Коган. — М.: Наука, 1982. — 464 с. или Авен О.И.. Турин Н.Н., Коган Я.А. Оценка качества и оптимизация вычислительных систем. — М.: Наука, 1982. — 464 с. Fernstrom Ch. et al. LUCAS associative array processors. Design, programing and application studies / Ch.Fernstrom, I.Kruzela, B.Svensson. — Berlin etc.: Springer, 1986. — 323 p. — (Lect. Notes Comput. Sci.; 216). или Fernstrom Ch., Kruzela I., Svensson B. LUCAS associative array processors. Design, programming and application studies. — Berlin etc.: Springer, 1986. — 323 p. — (Lect. Notes Comput. Sci.; 216). Книги четырех авторов (книги четырех и более авторов описываются под заглавием) Вычислительные сети и сетевые протоколы: Пер. с англ. / Д. Девис, Д. Барбер, У. Прайс, С. Соломонидес; Ред. пер. С.И. Самойленко. — М.: Мир, 1982. — 562 с. Fundamental structures of computer science / W.A.Wulf, M.Shaw, P.N.Hilfinger, L.Flon. — Beading etc.: Addison-Vesley, 1981. — 621 p. Книги пяти и более авторов Диалектический и исторический материализм / А.П. Шептулин, Н.И. Аваров, И.Д. Андреев и др.; Под общ. ред. А.П. Шептулина. — М.: Политиздат, 1985. — 414 с. Руководство к пользованию системой автоматизации программирования АЛЬФА-6 / А.О. Буда, Т.С. Васючкова, А.А. Грановский и др.; Под ред. А.П. Ершова; АН СССР. Сиб. отд-ние. ВЦ. — Новосибирск, 1974. — 255 с. Тематические сборники Теоретические проблемы систем обработки информации: Сб. науч. тр. / Под ред. В.Е. Котова; АН СССР. Сиб. отд-ние. ВЦ. — Новосибирск, 1986. — 164 с. Распределенные системы передачи и обработки информации / Отв. ред. В.Г. Лазарев; АН СССР. Ин-т проблем передачи информации. — М.: Наука, 1985. — 144 с. The best computer papers of 1971 / Ed. by O.R. Petrocelli. — Princeton etc.: Auerbach, 1972. — 296 p. Материалы конференций, изданные как тематические сборники Индивидуальные диалоговые системы на базе микроЭВМ (персональные компьютеры). Диалог-84-микро: Тез. докл. Всесоюз. конф., 19-22 нояб. 1984 г. / Под ред. И.О. Бабаева. — Л.: Наука, 1984. — 264 с. или Проблемы синтеза, тестирования, верификации и отладки программ: Тез. докл. / Всесоюз. науч. конф., Рига, 22-24 сент. 1981 г. — Рига, 1981. — 200 с. Accurate scientific computations: Proc. / Synp., Bad Neuenahr, FRG, March 1985 / Ed. by W.L. Miranker, R.A.Toupin. — Berlin etc.: Springer, 1986. — 205 p. — (Lect. Notes Comput. Sci.; 235). Многотомное издание Издание в целом На титульном листе указано общее количество томов и нет частных заглавий томов: Никольский С.М. Курс математического анализа: Учеб. для вузов: В 2 т. — М.: Наука, 197З. — Т. 1с–2 (или 2т.). Имеются частные заглавия томов: Кнут Д. Искусство программирования для ЭВМ: В 3 т.: Пер. с англ. — М.: Мир, 1976–1978. Т.1: Основные алгоритмы. — 1976. — 735 с. Т.2: Получисленные алгоритмы. — 1977. — 726 с. Т.З: Сортировка и поиск — 1978. — 846 с. или Кнут Д. Искусство программирования для ЭВМ: Пер. с англ. — М.: Мир, 1976– 1978 — Т. 1–3 (или 3 т.). Vliet J.C. van. ALGOL 68 transput. – Amsterdam: Math. centrum. 1979. — (Math. centre tracts). Pt. l: Historical review and discussion of the implementation model. — 59 p. — (...; 110). Pt.2: An implementation model. — 218 p. — (...; 111). Отдельный том Кнут Д. Искусство программирования для ЭВМ / Пер. с англ. Г.П. Бабенко, Ю.М. Баяковского; Под ред. В.С. Штаркмана. — М.: Мир, 1976. Т. 1. Основные алгоритмы. — 734 с. или Кнут Д. Искусство программирования для ЭВМ. Т.1. Основные алгоритмы: Пер. с англ. — М.: Мир, 1976. — 734 с. или Кнут Д. Основные алгоритмы: Пер. с англ. — М.: Мир, 1976. — 734 с. — (Искусство программирования для ЭВМ / Д. Кнут; Т.1). Vliet J.C. van. ALGOL 68 transput. — Amsterdam: Math, centrum, 1979. — (Math, centre tracts). Pt.2: An implementation model. — 218 p. — (...; 111). или Vliet J.C. van. ALGOL 68 transput. Pt.2: An implementation model. — Amsterdam: Math. centrum, 1979. — (Math, centre tracts; 111). Отдельный выпуск серии Языки программирования. — М.: Наука, 1985. — 80 с. — (Алгоритмы и алгоритмические языки). Вирт Н. Системное программирование. Введение / Пер. с англ. Вик. С. Штаркмана; Под ред. Ю.М. Баяковского. — М.: Мир, 1977. — 183 с. — (Математическое обеспечение ЭВМ). Евстигнеев В.А. Применение теории графов в программировании / Под ред. А.П. Ершова. — М.: Наука, 1985. — 352 с. — (Б-чка программиста). Звенигородский Г.А. Первые уроки программирования / Под ред. А.П. Ершова. — М.: Наука, 1985. — 200 с. — (Б-чка "Квант"; Вып. 41). Отдельный выпуск периодических и продолжаюшихся изданий Прикладная информатика: Сб. статей / Под ред. В.М. Савинкова. — М.: Финансы и статистика, 1986. — Вып. 1(10). Теория вероятностей. Математическая статистика. Теоретическая кибернетика / ВИНИТИ; АН СССР; Гос. ком. по науке и технике. — М., 1985. — 152 с. — (Итоги науки и техники. Сер. Теория вероятностей. Математическая статистика. Теоретическая кибернетика; Т.23). Оперативно-информационный материал Применение ЭВМ в курсах математического анализа и высшей математики: (оперативно-информ. материал) / Подгот. Б.А. Вертгейм; АН СССР. Сиб. отдние. ВЦ. — Новосибирск, 1981. — 10 с. Программирование на мини-Фортране: (метод, разработка) / Сост. В.Н. Касьянов; Новосиб. гос. ун-т. — Новосибирск, 1981. — 37 с. Процедуры системы АЛЬФА-6: Оперативно-информ. материал / Подгот. О. Е. Шпурик и др.; Под общ. ред. Б.Ф. Синенкина; АН СССР. Сиб. отд-ние. ВЦ. — Новосибирск, 1978. — 134 с. Диссертации, авторефераты диссертаций Чеблаков Б.Г. Система разработки математического обеспечения языковыми средствами высокого уровня: Дис... канд. физ.-мат. наук: 01.01.10. — Новосибирск, 1980. — 121 с. Поттосин И.В. Методы создания эффективного программного обеспечения: языковый и структурный подходы, оптимизация программ: Дис... д-ра физ.-мат. наук в форме науч. докл.: 05.13.11. — Новосибирск, 1989. — 49 с. Васючкова Т.С. Методика комплексной оценки качества транслирующих систем: Автореф. дис... канд. физ.-мат. наук: 05.13.11. — Новосибирск, 1986. — 19 с. Tengvald E. The design of expert planning system: Thes... doct. phylosophy (computer sci.). — Linkoping, 1984. — 194 p. Препринты Петрашкова Н.Ю., Пономарев В.В. Средства работы с текстовыми и кодовыми библиотеками в системе программирования Фортран на МВК "Эльбрус". — М. , 1985. — 9с. — (Препр. / АН СССР. Ин-т точной механики и вычисл. техники. Новосиб. фил.; N12). СПТ КРОСС: Технология программирования / В.В. Генералов, В.И. Гололобов, В.А. Исаев. И.Н. Скопин. — М. , 1985. — 20 с. — (Препр. / АН СССР Ин-т точной механики и вычисл. техники. Новосиб. фил.; N16). Препринты (отчеты), фирменные материалы на иностранных языках Ronnquist R. The information lattice of networks used for knowledge representation. — Linkoping, 1986. — 14 p. — (Prepr. / Linkoping univ., Dept. computer and inform, sci.; LITH-IDA-R-86-02). Seznec A., Jegou Y. Address synchronized multiprocessor architecture. — Rocquencourt, 1986. — 40 p. — (Rapp. / INRIA; N 527). AIDA reference manual / G. Rersch, G. Winterstein, M. Dausmann et al. — Karlsruhe, 1980. — (Bericht / Inst. fur Informatik / Univ. Karlsruhe; 39/80). Chen J., Han. J. A Review of EVES. — St. Lucia, 1993. — (Tech. Rep. / Department of Computer Science / University of Queensland; N 93-5). Депонированные рукописи Панов В.Ф. Модели частиц в сильной гравитации / Ред. журн. "Изв. вузов. Физика". — Томск, 1982. — 7с. — Деп. в ВИНИТИ 27.05.82, N 2641. Кузнецов Ю.С., Курбатов Н.Н., Червинский Ю.Ф. Изменение скорости звука в холодильных расплавах / Моск. хим.-технолог, ин-т. — М., 1982. — 10 с. — Деп. в ВИНИТИ 01.06.82, N 2691. Отчеты о научно-исследовательской работе Оценка эффективности автоматизированных информационно-поисковых систем научно-технической информации на стадии проектирования. Разработка методов оценки эффективности автоматизированных информационнопоисковых систем научно-технической информации на стадии проектирования. Ч.1: Отчет о НИР (промежуточ.) / ВНИТЦентр; Руководитель И.И. Иванов. — ОЦ2604И513; N ГР 0182110006; Инв. N 5452743. — М., 1982. — 90 с.: ил. — Отв. исполн. В.И. Степанов, В.И. Тягунов; Соисполн.: НИИ НТИ и техн.эконом, исслед. Госплана УэССР, Ф.И. Зверев. Наукометрический анализ информационных потоков в системном программировании (1966-1970 гг.): Отчет (промежуточ.) / АН СССР. Ин-т точной механики и вычисл. техники. Новосиб. фил.; Руководитель В.Г. Чеблаков. — АТИ-РД 363/02. — Новосибирск, 1986. — 59 с. — Исполн. В.А. Евстигнеев, О.А. Логинова. Конвейер. Технологическая база документации: Отчет(заключит.) АН СССР. Ин-т точной механики и вычисл. техники. Новосиб. фил.; Руководитель И.С. Голосов. — АТИ-КВ 495/06. — Новосибирск, 1989. — 72 с. — Отв. исполн. Е.В. Сурнина; Соисполн.: О.Л. Пасько, Г.Н. Стирина. Форматы распечатки документов в системе АСИВС-СКИФ (привязка к ГОСТ 7.1.-84) / АН СССР. Ин-т точной механики и вычисл. техники. Новосиб. фил.; Руководитель работы Г.Д. Чинин. — РЗ-РД/45-8. – Новосибирск, 1987. — 44 с. — Исполн. В.А. Евстигнеев, Л.И. Булыгина, В.Н. Киселев, Стандарты ГОСТ 7.1-84. Библиографическое описание документа. Общие требования и правила составления. — Взамен ГОСТ 7.1-76; Введ. 01.01.86. — М.: Изд-во стандартов, 1984. — 77 с. Библиографическая деятельность. Основные термины и определения: ГОСТ 7.0-84. — Взамен ГОСТ 7.0-77; Введ. 01.01.86. — 24 с. Язык программирования Ада: ГОСТ 27831-88 (ИСО 8652-87); Введ. 01.07.89. — М.: Изд-во стандартов, 1989. — 263 с. Common Ada programming support environment (APSE) interface set (CAIS): DODSTD-1838. Appr. 9 Oct. 1986. — 346 p. Неопубликованный перевод Обзор методов применения обратной связи в оптических системах. Бистабильные оптические системы / ВЦП. — NE-12194. — М., 13.04.83. — 34с.: ил. — Пер. ст. Collins S.A., Wasmundt К.С. из журн.: Optical Engineering. — 1980. — Vol. 19, N 4. — P. 478–487. Подсистема гибкого диска HP 12742А/12743А: Руководство по эксплуатации и обслуживанию / ВЦП. — ND-58170. — М., 28.01.83. — 55 с.: ил. — Пер. материала фирмы: Hewlett-Packard Co. HP 9885 M/S Flexible Disk Drive: Operating and Service Manual. — 1978. — 29 p. США. Об эволюции Фортрана / АН СССР. Ин-т точной механики и вычисл. техники. Новосиб. фил. — N 315. — Новосибирск, 23.04.86. — 3 с. — Пер. ст. van Tuyl R.R. из журн.: ACM SIQPLAN Notices. — 1984. — Vol. 19. N 11. — Р. 52–55. — Пер. С.Г. Дробышевич. Материалы из "Экспресс-информации" ВИНИТИ Высокопроизводительная система обработки текстовой информации // Вычисл. техника. Экспрессинформация ВИНИТИ. — 1981. — N 2. — С. 7 — 10. — Реф. ст. Сherry P. В. Word processing system design for high throughput // Computer Des. — 1980. — Vol. 19, N 8. — P. 95–99. Статьи из книг (сборников) Ершов А.П. О человеческом и эстетическом факторе в программировании // Научно-техническая революция и человек. — М., 1977. — С. 187–194. Walther J.S. A unified algorithm for elementary functions // The best computer papers of 1971. — Princeton etc., 1972. — P. 69–81. Калинина Н.А. Организация процесса аналитических вычислений и внутренние структуры данных в системе АУМ // Языки и системы программирования. — Новосибирск, 1981. — С. 124–131. Статьи из продолжаюшихся тематических сборников Тен С.В. Сравнение алгоритмов идентификации выражений языка Ада // Прикладная информатика. — М., 1986. — Вып. 1(10). — С. 107–125. Антипов М. В. Априорные оценки погрешности интегрирования методом Монте-Карло // Системное моделирование. — Новосибирск, 1982. — Вып. 8. — С. 3–17. Статьи из трудов, ученых записок Шахбазян К.В., Тушкина Т.А. Обзор методов составления расписаний для многопроцессорных систем // Зап. науч. семинаров ЛОМИ / Тр. Мат. ин-та им. В.А. Стеклова. Ленингр. отд-ние. — 1975. — Т. 54. — С. 229–258. Кузнецов С.В. Решение краевых задач для обыкновенных дифференциальных уравнений // Тр. ин-та математики / АН СССР. Сиб. отд-ние. — 1985. — Т. 6: Вычислительные методы линейной алгебры. — С. 85–110. Статьи из собраний сочинений, энциклопедий Ленин В.И. Вопрос о мире // Полн. собр. соч. — Т. 26. — С. 301–306. Ершов А.П. Оператор // Мат. энциклопедия. — 1984. — Т. 4. — С. 18. Статьи из материалов конференций, симпозиумов, совещаний и т.д. Окольнишников В.В., Резниченко Л. Л. Система дискретного моделирования МОДЕЛЬ-6 // Teз. докл. конф. молодых ученых и специалистов ИГМ и ВТ АН СССР. — М., 1976. — С. 86–88. Дедерер С.Ю., Марков В.А., Пяткин В.П. Эксперимент по технологии программирования // Материалы конф. "Вычислительные системы, сети и центры коллективного пользования" (ВСС и ЦКП-78). — Новосибирск, 1978. — Ч. 2. — С. 126–130. Скопин И.Н. Синтез специализированной версии универсальной программы при помощи тестирования // Синтез, тестирование, верификация и отладка программ: Тез. докл. / Всесоюз. науч. конф., Рига, 22-24 сент. 1981. — Рига, 1981. — С. 195–196. Синтез специализированных систем программирования на основе расширителей / Д.Н. Тодорой, А.К. Гончаренко, В.Г. Горбатиков и др. // Проблемы совершенствования синтеза, тестирования, верификации и отладки программ: Тез. докл. Всесоюз. науч. конф., Рига, 12-14 нояб. 1986 г. — Рига, 1986. — Т. 2. — С. 147–150. Cheriton D.R. Making exceptions simplify the rule (and justify their handling) // Information Processing 86: Proc. / IFIP 10th World Computer Congr., Dublin, Ireland, Sept. 1-5, 1986. — Amsterdam, 1986. — P. 27–33. Buss J. Relativized alternation // Structure in complexity theory: Proc. / Conf. held at the Univ. California, Berkeley, California, June 1986. — Berlin etc, 1986. — P .66– 76. — (Lect. Notes Comput. Sci.; 223). или Buss J. Relativized alternation // Lect. Notes Comput.Sci. — Berlin etc., 1986. — Vol. 223. — P. 66–76. Глава из книги Автоматизированные системы сбора и обработки данных // Электронные методы ядерной физики / Л.А. Маталин, С.И. Чубаров, Л.А. Тимохин и др. — М., 1973. — Гл. 8. — С. 395–496. Статьи из журналов Азизов И. Алгоритмы вычисления Е-оптимального решения в линейной максиминной задаче со связанными переменными // Изв. АН БССР. Сер. физ.-мат. наук. — 1986. — N 1. — С. 14–19. Ершов А. П. Организация смешанных вычислений для рекурсивных программ // Докл. АН СССР. — 1979. — Т. 245, N 5. — С. 1041–1044. Панкеев Г.А. Пакет для создания аппаратно-независимого обеспечения машинной графики // Управляющие системы и машины. — 1983. — N 2. — С. 115–117. Marcottv М., Sayward F.G. The definition mechanism for standard PL/1 // IEEE Trans. Software Eng. — 1977. — Vol. SE-13, N 6 — P .416–450. Статьи из газет Ершов А.П. ЭВМ в мире людей // Сов. культура. — 1985. — 14 апр. Метляев Ю.В. ЭВМ для всех // Наука в Сибири. — 1986. — 23 янв. Разные статьи в одном издании Голосов И.С. О параметризации входного языка транслятора Фортран-Эльбрус // Автоматизация производства пакетов прикладных программ: Тез. докл. / 2 Всесоюз. конф. — Таллинн, 1983. — С.115–116. Гололобов В.И., Исаев В.А. СПТ КРОСС: технология создания трансляторов // Там же. — С. 122–124. Sethi R. Circular expressions elimination of static environment // Sci. Comput. Progr. — 1982. — Vol. 1, N 3. — P. 203–222. Dijkstra E.W. Smoothsort, an alternative for sorting in situ // Ibid. — P. 223–234. Работы с одинаковым названием в разных источниках Ершов А.П. Программирование — вторая грамотность // Экономика и орг. пром. пр-ва. — 1982. — N 2. — С. 143–156. То же // Квант. — 1983. — N 2. — С. 2–7. Работы одного автора, упоминаемые подряд Ершов А.П. Введение в теоретическое программирование: беседы о методе. — М.: Наука, 1977 — 288 с. Его же. Об одном теоретическом принципе системного программирования // Докл. АН СССР. — 1977. — Т. 233, N 6. — С. 272–275. Список сокращений названий основных советских и иностранных журналов по вычислительной технике и программированию Автоматика и вычисл. техника — Автоматика и вычислительная техника Автоматика и телемеханика — не сокр. Вестн. АН СССР — Вестник АН СССР Докл. АН СССР — Доклады АН СССР Журн. вычисл математики и. мат. физики — Журнал вычислительной математики и математической физики Изв. АН СССР. Техн. кибернетика — Известия АН СССР. Техническая кибернетика Изв. СО АН СССР. Сер. техн. наук — Известия СО АН СССР. Серия технических наук Кибернетика — не сокр. Микропроцессорные средства и системы — не сокр. Программирование — не сокр. Сиб. мат. журн. — Сибирский математический журнал Управляющие системы и машины — не сокр. Успехи мат. наук — Успехи математических наук Экономика и орг. пром. пр-ва — Экономика и организация промышленного производства (ЭКО) ACM Computing Surveys — не сокр. ACM Trans. Computer Systems — ACM Transactions on Computer Systems ACM Trans. Database Systems — ACM Transactions on Database Systems ACM Trans. Graphics — ACM Transactions on Graphics ACM Trans. Math. Software — ACM Transactions on Mathematical Software ACM Trans. Office Inform. Systems — ACM Transactions on Office Information Systems ACM Trans. Progr. Lang, and Systems — ACM Transactions on Programming Languages and Systems Acta Informatica — не сокр. Am. History Computing — Annals of the History of Computing Artificial Intelligence — не сокр. Austral. Computer j. — The Australian Computer Journal Bit — не сокр. Byte — не сокр. Communs ACM — Communications of the ACM Computer — не сокр. Computer Bull. — Computer Bulletin Computer Des. — Computer Design Computer Graphics and Image Processing — не сокр. Computers and Artificial Intelligence — не сокр. Computer J. — Computer Journal Computers and Education — не сокр. Computers and People — не сокр. Computing Rev. — Computing Review Data Processing — не сокр. Datamation — не сокр. Electronic Des. — Electronic Design IBM J. Research and Development — IBM Journal of Research and Development IBM Systems J. — IBM Systems Journal IEEE Computer Graphics and Appl. — IEEE Computer Graphics and Applications IEEE Des. and Test Comput. — IEEE Design and Test of Computers IEEE Micro — не сокр. IEEE Software — не сокр. IEEE Trans. Computers — IEEE Transactions on Computers IEEE Trans. Inform. Theory — IEEE Transactions of Information Theory IEEE Trans. Pattern Analysis and Machine Intelligence — IEEE Transactions of Pattern Analysis and Machine Intelligence IEEE Trans. Software .Eng. — IEEE Transactions on Software Engineering IEEE Trans. Systems, Man and Cybernetics — IEEE Transactions on Systems, Man and Cybernetics Inform, and Control — Information and Control Inform. Processing Letters — Information Processing Letters Inform. Systems — Information Systems Intern. J. Computers and Information — International Journal of Computers and Information Intern. J. Man-Machine Studies — International Journal of Man-Machine Studies J. Assoc. Computing Machinery — Journal of the Association for Computing Machinery J. Computer and System Sci. — Journal of Computer and System Science J. Systems and Software — Journal of Systems and Software Microprocessing and Microprogr. — Microprocessing and Microprogramming New Generation Computers — не сокр. Sci. Computer Progr. — Science of Computer Programming S1AM J. Computing — SIAM Journal on Computing SIGARCH Computer Architecture News — не сокр. SIGOPS Operating Systems Rev. — SIGOPS Operating Systems Review SIGPLAN Not. — SIGPLAN Notices Software — Practice and Experience — не сокр. Techn. Sci. Inform. — Technique et Science Informatique Theoretical Computer Sci. — Theoretical Computer Science Trans. Inst. Electronics. Commun. Eng. Japan. Sect. E — Transactions of the Institute of Electronics and Communication Engineers of Japan. Section E