Ивакин,. Категорная модель компьютерной интерпретации прикладных формализуемых теорий. Труды СПИИРАН, т. 3, вып. 1, June 2003, сс. 177-86, DOI:10.15622/sp.1.18.