ИВАКИН,. Категорная модель компьютерной интерпретации прикладных формализуемых теорий. Труды СПИИРАН, v. 3, n. 1, p. 177-186, 1 jun. 2003.