О преобразованиях схем программ и их применении в программированиидиссертация