Ivakin, 2003. The categorical model of computer interpretation of applied formalized theories. SPIIRAS Proceedings. 3, 1 (Jun. 2003), 177-186. DOI:https://doi.org/10.15622/sp.1.18.