C program verification in SPECTRUM multilanguage system. - Valery A. Nepomniaschy; Igor S. Anureev; M. M. Atuchin; Ilya V. Maryasov; A. A. Petrov; Alexey V. Promsky (Autom. Control. Comput. Sci., 2011)