Список литературы

[1] Шопырин Д.Г. and Шалыто А.А. "Синхронное программирование" , 2004. http: www.softcraft.ru/auto/switch/syncprog/index.shtml. 5

[2] Технология программирования. Лекция 7. http: www.ergeal.ru/txt/ archive/cs/tp/07.htm. 5

[3] Манин Ю.И. Вычислимое и невычислимое, 1980. http: agp1.nm.ru/ arts/manin2.html. 2

[4] Г. Майерс. Надежность программного обеспечения, 1980. 5

[5] Успенский В.А. Машина Поста, 1988. http: agp1.nm.ru/arts/usp.html.

[6] Горошко Егор? Real-time os - религиозная война компьютерной индустрии или заметки на полях одной статьи, 2003. http: qnxclub.net/ files/articles/RemarksOnTheMargins/RemarksOnTheMargins.html. 6

[7] К.Дейт. Введение в системы баз данных, 1998. 5

[8] С.Орлов. Технологии разработки программного обеспечения: Учебник для вузов, 2003. http: www.tsi.lv/books/orlov annotation.pdf. 5

[9] Harel D. and Pnueli A. On the development of reactive systems, 1985. 5

[10] Chris George. Introduction to raise.the raise development method, 2001. http: users.iptelecom.net.ua/~agp1/arts/rslintro.ps. 6

[11] A.G. Piskunov and V.L. Ilyuhin. The usage of formal specification languages for the design of rdbms. http: users.iptelecom.net.ua/~agp1/ ru/gsau.html. 6

[12] Emil L. Post. Finite combinatory processes - formulation 1, 1936. http: agp1.nm.ru/arts/usp.html. 2