Burstall R. M.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
П	Algebras, Theories and Freeness: An Introduction for Computer Scientists	1982	Burstall R. M., Goguen J. A.			Univ.Edinburgh		19.03.2004
СТ	Institutions: Abstract Model Theory for Spesification and Programming	1992	Goguen J. A., Burstall R. M.				J. of the ACM	04.03.1992