1. Sherstyuk, Musayev Data Warehouses Application in the Automated Testing and Verification System for Mathematical Models // SPIIRAS Proceedings. 2007. № 4. C. 163-170.