@article {IOPORT.03727595,
    author       = {Trakhtenbrot, M.B.},
    title        = {Transformations predefining a program.},
    year         = {1980},
    journal      = {Cybernetics},
    volume       = {16},
    issn         = {0011-4235},
    pages        = {221-228},
    publisher    = {Consultants Bureau, New York},
    doi          = {10.1007/BF01069109},
    identifier   = {03727595},
}