Публикации

Как правильно оформлять список литературы

ПАМЯТКА
по составлению библиографических ссылок


Оглавление


В настоящих рекомендациях использованы нормативные ссылки на следующие документы

ГОСТ 7.1–2003. Система стандартов по информации, библиотечному и издательскому делу. Библиографическая запись. Библиографическое описание. Общие требования и правила составления.

ГОСТ Р 7.0.5–2008. Система стандартов по информации, библиотечному и издательскому делу. Библиографическая ссылка. Общие требования и правила составления.

ГОСТ 7.0.12-2012. Библиографическая запись. Сокращение слов и словосочетаний на русском языке. Общие требования и правила.

ГОСТ 7.11-2004. Библиографическая запись. Сокращение слов и словосочетаний на иностранных европейских языках. Общие требования и правила.


Обязательно указывают

  • Для книг: имя автора (имена авторов), название работы, место издания, издательство и год издания (в отечественных изданиях приняты сокращения: Ленинград – Л., Москва – М., Нижний Новгород – Н. Новгород., Ростов-на-Дону – Ростов н/Д., Санкт-Петербург – СПб., остальные города приводятся полностью).
  • Для коллективных монографий и сборников: добавляется имя редактора (имена реакторов).
  • Для статей и т.п.: имя автора, название работы // источник. – год издания. – том, номер (выпуск, часть и т.д.). – диапазон страниц.

При указании диапазона страниц между цифрами ставится короткое тире (не дефис), а пробелы отсутствуют.

Если авторов двое или трое, то все они указываются в начале описания, если же авторов более трех, то описание начинается с названия, а три первых автора перечисляются после косой черты, последующие сведения (редактор, переводчик и т.д.) перечисляются через точку с запятой.


Однотомное непериодическое издание

Книги одного–трех авторов (описываются под фамилиями авторов)

Котов В.Е. Сети Петри. – М.: Наука, 1984. – 160 с.

Уэзерелл Ч. Этюды для программистов: Пер. с англ. / Под ред. Ю.М.Банковского. – М.: Мир, 1982. – 288 с.

Крайнева И.А., Черемных Н.А.  Путь программиста / Отв. ред. А.Г. Марчук. – Новосибирск: Нонпарель, 2011. – 222 с.

Авен О.И., Турин Н.Н., Коган Я.А. Оценка качества и оптимизация вычислительных систем. – М.: Наука, 1982. – 464 с.

Книги четырех авторов и более авторов (описываются под заглавием)

Вычислительные сети и сетевые протоколы: Пер. с англ. / Д. Девис, Д. Барбер, У. Прайс,  и др.; Ред. пер. С.И. Самойленко. – М.: Мир, 1982. – 562 с.

Fundamental structures of computer science / W.A.Wulf, M.Shaw, P.N.Hilfinger, et al. – Beading etc.: Addison-Vesley, 1981. – 621 p.

Диалектический и исторический материализм / А.П. Шептулин, Н.И. Аваров, И.Д. Андреев и др.; Под общ. ред. А.П. Шептулина. – М.: Политиздат, 1985. – 414 с.

Тематические сборники

Если у издания нет автора, но указаны редакторы, составители, переводчики и т.п., то описание начинается с заглавия. За косой чертой после заглавия сразу пишутся редакторы, составители и т.п. с указанием функции.

Теоретические проблемы систем обработки информации: Сб. науч. тр. / Под ред. В.Е. Котова. – Новосибирск, 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 т.).

Отдельный том

Кнут Д. Искусство программирования для ЭВМ. Т.1. Основные алгоритмы: Пер. с англ. – М.: Мир, 1976. – 734 с.

или

Кнут Д. Основные алгоритмы: Пер. с англ. – М.: Мир, 1976. – 734 с. – (Искусство программирования для ЭВМ / Д. Кнут; Т.1).

Отдельный выпуск серии

Языки программирования. – М.: Наука, 1985. – 80 с. – (Алгоритмы и алгоритмические языки).

Вирт Н. Системное программирование. Введение / Пер. с англ. Вик. С. Штаркмана; Под ред. Ю.М. Баяковского. – М.: Мир, 1977. – 183 с. – (Математическое обеспечение ЭВМ).

Проблемы системной информатики / Под ред. В.Н. Касьянова. – Новосибирск, 2010. – 260 с. – (Конструирование и оптимизация программ).

Звенигородский Г.А. Первые уроки программирования / Под ред. А.П. Ершова. – М.: Наука, 1985. – 200 с. – (Б-чка «Квант»; Вып. 41).

Отдельный выпуск периодических и продолжающихся изданий

Системная информатика: Сб. науч. тр. / Под ред. А.Г. Марчука. – Новосибирск: Изд-во СО РАН, 2006. – Вып. 10. – 244 с.

Теория вероятностей. Математическая статистика. Теоретическая кибернетика / ВИНИТИ; АН СССР; Гос. ком. по науке и технике. – М., 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.


Препринты

Филатов А.Ю., Михеев В.В. Стратегии внутрипотоковой сборки мусора и оценка их эффективности. – Новосибирск, 2015. – 28 с. – (Препр. / ИСИ СО РАН; № 179).

На пути к верификации C#-программ: трехуровневый подход / В.А. Непомнящий, И.С. Ануреев, И.В. Дубрановский и др. – Новосибирск, 2005. – 38 с. – (Препр. / ИСИ СО РАН; № 128).

Препринты (отчеты), фирменные материалы на иностранных языках

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. Karls-ruhe; 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).


Стандарты

ГОСТ 7.1-2003. Библиографическая запись. Библиографическое описание. Общие требования и правила составления. – Взамен ГОСТ 7.1–84, ГОСТ 7.16–79, ГОСТ 7.18–79, ГОСТ 7.34–81, ГОСТ 7.40–82 ; введ. 2004–07–01. – М. : Изд-во стандартов, 2004. – 48 с..

ГОСТ Р7.0.5 2008. Библиографическая ссылка. Общие требования и правила составления. – Введ. 01.01.2009. – М.: Стандартинформ, 2008. – 23 с.

Язык программирования Ада: ГОСТ 27831-88 (ИСО 8652-87); Введ. 01.07.89. – М.: Изд-во стандартов, 1989. – 263 с.

Common Ada programming support environment (APSE) interface set (CAIS): DOD-STD-1838. Appr. 9 Oct. 1986. – 346 p.


Ссылка на составную часть издания

Статьи из книг (сборников)

Ершов А.П. О человеческом и эстетическом факторе в программировании // Научно-техническая революция и человек. – М., 1977. – С. 187–194.

Стасенко А.П. Тестирование изменений в программной системе на основе покрытия исходного кода // Информатика в науке и образовании. Сер. «Конструирование и оптимизация программ». – Новосибирск, 2012. – С. 106–115

Walther J.S. A unified algorithm for elementary functions // The Best Computer Papers of 1971. – Princeton etc., 1972. – P. 69–81.

Статьи из продолжающихся тематических сборников

Тен С.В. Сравнение алгоритмов идентификации выражений языка Ада // Прикладная информатика. – М., 1986. – Вып. 1(10). – С. 107–125.

Арабаджи О.В., Грибовская Н.С. Логическая унификация бисимуляционных эквивалентностей для временных стабильных структур событий  // Молодая информатика. – Новосибирск, 2014. – Вып. 4. – С. 9–20.

Статьи из трудов, ученых записок

Шахбазян К.В., Тушкина Т.А. Обзор методов составления расписаний для многопроцессорных систем // Зап. науч. семинаров ЛОМИ / Тр. Мат. ин-та им. В.А. Стеклова. Ленингр. отд-ние. – 1975. – Т. 54. – С. 229–258.

Кузнецов С.В. Решение краевых задач для обыкновенных дифференциальных уравнений // Тр. ин-та математики / АН СССР. Сиб. отд-ние. – 1985. – Т. 6: Вычислительные методы линейной алгебры. – С. 85–110.

Статьи из собраний сочинений, энциклопедий

Ленин В.И. Вопрос о мире // Полн. собр. соч. – Т. 26. – С. 301–306.

Ершов А.П. Оператор // Мат. энциклопедия. – 1984. – Т. 4. – С. 18.

Статьи из материалов конференций, симпозиумов, совещаний и т.д.

Окольнишников В.В., Резниченко Л. Л. Система дискретного моделирования МОДЕЛЬ-6 // Teз. докл. конф. молодых ученых и специалистов ИГМ и ВТ АН СССР. – М., 1976. – С. 86–88.

Гаранина Н.О., Сидорова Е.А. Мультиагентный подход к извлечению информации из текстов и пополнению онтологии // Материалы Всерос. конф. с международным участием «Знания – Онтологии – Теории» (ЗОНТ–2015), 6–8 октября 2015 г., Новосибирск. – Новосибирск: ИМ СО РАН, 2015. –Т. 1. – С. 50–59.

Скопин И.Н. Синтез специализированной версии универсальной программы при помощи тестирования // Синтез, тестирование, верификация и отладка программ: Тез. докл. / Всесоюз. науч. конф., Рига, 22-24 сент. 1981. – Рига, 1981. – С. 195–196.

Синтез специализированных систем программирования на основе расширителей / Д.Н. Тодорой, А.К. Гончаренко, В.Г. Горбатиков и др. // Проблемы совершенствования синтеза, тестирования, верификации и отладки программ: Тез. докл. Всесоюз. науч. конф., Рига, 12–14 нояб. 1986 г. – -Рига, 1986. – Т. 2. – С. 147–150.

Virbitskaite I., Bozhenkova E., Erofeev E. Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures // CS&P 2015: Proc. / 24th Internat. Workshop on Concurrency, Specification and Programming,  Rzeszow, Poland, September 28–30. – Rzeszow: Univ. of Rzeszow, 2015. – P. 222–233.

Selivanov V. Towards the effective descriptive set theory // Evolving Computability / Eds. A. Beckmann, V. Mitrana, M.I. Soskova: Proc. / 11th Conf. on Computability in Europe, Bucharest, Romania, June 29–July 3, 2015. – Berlin etc.: Springer, 2015. – P. 324–333. – (Lect. Notes Comput. Sci.; 9136).

или

Selivanov V. Towards the effective descriptive set theory // Lect. Notes Comput. Sci. – Berlin etc., 2015. – Vol. 9136. – P. 324–333.

Глава из книги

Автоматизированные системы сбора и обработки данных // Электронные методы ядерной физики / Л.А. Маталин, С.И. Чубаров, Л.А. Тимохин и др. – М., 1973. – Гл. 8. – С. 395–496.

Статьи из журналов

Ершов А. П. Организация смешанных вычислений для рекурсивных программ // Докл. АН СССР. – 1979. – Т. 245, N 5. – С. 1041–1044.

Емельянов П.Г., Пономарев Д.К. Алгоритмические вопросы конъюнктивной декомпозиции булевых формул // Программирование. – 2015. – № 3. – С. 62–72.

Korovina M., Kudinov O. Index sets as a measure of continuous constraints complexity // Lect. Notes Comput. Sci. – 2015. – Vol. 8974. – P. 201–215.

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 environ-ment // 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.


Электронные ресурсы

Объектами составления библиографической ссылки также являются электронные ресурсы локального и удаленного доступа. Ссылки составляют как на электронные ресурсы в целом (электронные документы, базы данных, порталы, сайты, веб-страницы, форумы и т. д.), так и на составные части электронных ресурсов (разделы и части электронных документов, порталов, сайтов, веб-страниц, публикации в электронных сериальных изданиях, сообщения на форумах и т. .):

Фамилия и инициалы первого автора. Основное заглавие = Параллельное заглавие на другом языке: сведения, относящиеся к заглавию. – Вид и объем ресурса. – Место издания или изготовления: имя издателя или изготовителя, дата издания или изготовления. – Специфическое обозначение материала и количество физических единиц: другие физические характеристики – (Заглавие серии или подсерии ; номер выпуска серии или подсерии). – Примечания.

Электронный адрес и дату обращения к документу в сети Интернет приводят всегда. Дата обращения к документу – это дата, когда человек, составляющий ссылку, данный документ открывал, и этот документ был доступен (формат: число-месяц-год = чч.мм.гггг).

По информации на главной странице сайта/портала даются: название и описание ресурса, если указано – место и год издания.

После основных сведений об электронном ресурсе (автор, заглавие, место и год издания и т. п.) в примечании в следующей последовательности могут быть указаны:

  • системные требования, когда для доступа к электронному ресурсу требуется специальное программное обеспечение, например, Adobe Acrobat Reader, Power Point;
  • сведения об ограничении доступности, если доступ к документу возможен, например, из какого-то конкретного места (локальной сети, организации, для сети которой доступ открыт), только для зарегистрированных пользователей и т.п. В описании в таком случае указывают: «Доступ из …», «Доступ для зарегистрированных пользователей» и др. Если доступ свободный, то в сведениях не указывают ничего.
  • дату обновления документа или дату пересмотра электронного ресурса, если она указана (сначала следует год, а затем число и месяц);
  • примечание о режиме доступа, допускается заменять аббревиатурой «URL» (Uniform Resource Locator — унифицированный указатель ресурса);
  • информацию о протоколе доступа к сетевому ресурсу (ftp, http и т. п.);
  • электронный адрес в формате унифицированного указателя ресурса;
  • «дата обращения» указывается в круглых скобках и включает в себя число, месяц и год обращения к ресурсу.

Электронные публикации, которым международной организацией International DOI Foundation (http://www.doi.org) присвоен цифровой идентификатор объекта (Digital Object Identifier, или doi), описываются аналогично печатным изданиям, с указанием doi без точки после него. В этом случае URL не приводится, поскольку doi позволяет однозначно идентифицировать объект в базах данных, в отличие от сетевого адреса, который может измениться.

Диски

Энциклопедия российского законодательства [Электронный ресурс]: для студентов, аспирантов и преподавателей юрид. и экон. специальностей: спец. вып. справ. правовой системы Гарант. Регион / Гарант. – Электрон. текстовые дан. – М. : Гарант-Сервис, 2001. – Вып. 3. – 1 CD-ROM.

Даль  В. И. Толковый словарь живого великорусского языка Владимира Даля [Электронный ресурс]: подгот. по 2-му печат. изд. 1880–1882 гг. / В. И. Даль. – Электрон. дан. – М.: АСТ, 1998. – 1 CD-ROM

Internet шаг за шагом [Электронный ресурс]: интерактив. учеб. – Электрон. дан. и прогр. – СПб.: ПитерКом, 1997. – 1 CD-ROM

Ресурсы Internet

Образование: исследовано в мире: междунар. науч. пед. интернет журнал с б-кой депозитарием / Рос. акад. образования ; Гос. науч. пед. б-ка им. К. Д. Ушинского. – Электрон. журн. – М., 2000. – URL: http://www.oim.ru (дата обращения: 06.01.2007).

Центр дистанционного образования МГУП / Моск. гос. ун-т печати. – Электрон. дан.  – М.: Центр дистанцион. образования МГУП, 2001–2005. – URL: http://www.hi-edu.ru (дата обращения: 06.01.2007).

Тихонова Т.И. Новосибирская летняя школа юных программистов им. А.П. Ершова (21 июля–3 августа 2014 г., Новосибирский Академгородок – «Белый камень») // Системная информатика. – 2015. – № 5. – С. 75–104.– URL:  http://www.system-informatics.ru/ru/article/82 (дата обращения: 22.08.2016).

Батура Т.В., Мурзин Ф.А., Проскуряков А.В. Программный комплекс для анализа данных из социальных сетей // Программные продукты и системы. – 2015. – №4. – С. 188–197. – DOI: 10.15827/0236-235X.112.188-197


Сокращения в библиографических описаниях

Сокращения основного заглавия работ не применяются. В других частях описания следует руководствоваться ГОСТ 7.11, ГОСТ 7.0.12, например:

Русскоязычные ссылки Англоязычные ссылки
и др. et al.
№ № =  N (без точки после буквы)
Том = Т. Volume = Vol. (с точкой в конце)
Выпуск = Вып. Issue = Iss.
Стр. = С. Page = P. (с точкой после буквы)
В 3 томах (и т.п.) = в 3 т. In 3 vols.
Редактор/ры = Ред Editor/s = Ed./Eds.
Издание = Изд. Edition = Ed.
Перевод = Пер. Translation = Transl.  

Названия некоторых издательств

Слова «Издательство», «Издательский/Книжный центр/дом», «ООО», «НПО», Ltd, Inc, GmbH и т.п. в библиографическом описании опускаются.

Правильно Неправильно
Академия Издательский центр «Академия»
Ленинград: Изд-во Ленингр. ун-та Л.: ЛГУ
М.: Изд-во Моск. ун-та М.: МГУ
Пермь: Изд-во Перм. гос. пед. ун-та Пермь: ПГПУ
СПб.: Изд-во С.-Петерб. ун-та СПб.: СПбГУ
СПб.: Иван Лимбах СПб.: Изд. Ивана Лимбаха
СПб.: Михайлов В.А. СПб.: Изд-во Михайлова В.А.

Список сокращений названий основных советских и иностранных журналов по вычислительной технике и программированию

Автоматика и вычислительная техника Автоматика и вычисл. техника
Автоматика и телемеханика не сокращается
Вестник АН СССР Вестн. АН СССР
Доклады АН СССР Докл. АН СССР
Журнал вычислительной математики и математической физики Журн. вычисл математики и. мат. физики
Известия АН СССР.
Техническая кибернетика		 Изв. АН СССР. Техн. кибернетика
Известия СО АН СССР.
Серия технических наук		 Изв. СО АН СССР. Сер. техн. наук
Кибернетика не сокращается
Микропроцессорные средства и системы. не сокращается
Программирование не сокращается
Сибирский математический журнал Сиб. мат. журн.
Управляющие системы и машины не сокращается
Успехи математических наук Успехи мат. наук
Экономика и организация промышленного производства (ЭКО) Экономика и орг. пром. пр-ва
ACM Computing Surveys ACM Comput. Surv.
ACM Transactions on Computer Systems ACM Trans. Comput. Syst.
ACM Transactions on Database Systems ACM Trans. Database Syst.
ACM Transactions on Graphics ACM Trans. Graphics
ACM Transactions on Mathematical
Software		 ACM Trans. Math. Software
Acta Informatica не сокращается
Annals of the History of Computing IEE Ann. Hist. Comput.
Artificial Intelligence Artif. Intell.
Bit не сокращается
Byte не сокращается
Communications of the ACM Communs ACM
IBM Journal of Research and Development IBM J. Res. Dev.
IBM Systems Journal IBM Syst. J.
IEEE Computer Graphics and Applications IEEE Comput. Graphics Appl.
IEEE Design and Test of Computers IEEE Des. Test Comput.
IEEE Micro не сокращается
IEEE Software не сокращается
IEEE Transactions on Computers IEEE Trans. Comput.
IEEE Transactions on Software Engineering IEEE Trans. Software Eng.
IEEE Transactions on Systems,
Man and Cybernetics		 IEEE Trans. Syst. Man Cybern.
Information Systems Inf. Syst.
Journal of Computer and System Science J. Comput. Syst. Sci.
Lecture Notes in Computer Science Lect. Notes Comput. Sci.
SIAM Journal on Computing S1AM J. Comput.
SIGPLAN Notices SIGPLAN Not.
Technique et Science Informatique Techn. Sci. Inform.
Theoretical Computer Science Theor. Comput. Sci.

Он-лайн сервисы по автоматизированному оформлению сносок и списков литературы

1) http://www.snoskainfo.ru/

Там же можно посмотреть тексты всех ГОСТов, имеющих отношение к делу.

2) https://www.mybib.com/

Оформление не только по ГОСТу, но и по правилам большого числа журналов и издательств. Разработчики также предлагают расширение MyBib: Free Citation Generator для Google Chrome.