1. Ivakin The categorical model of computer interpretation of applied formalized theories // SPIIRAS Proceedings. 2003. № 1 (3). C. 177-186.