@article{Itkin:1972:PSE:1739975.1740360,
    Address = {Orlando, FL, USA},
    Author = {Itkin, V. E. and Zwinogrodzki, Z.},
    File = {On Program Schemata Equivalence - Itkin, Itkin, Zwinogrodzki (0) (0) - a - a - a.pdf},
    ISSN = {0022-0000},
    Journal = {J. Comput. Syst. Sci.},
    Month = {February},
    Number = {1},
    Pages = {88--101},
    Publisher = {Academic Press, Inc.},
    Title = {On Program Schemata Equivalence},
    URL = {http://dx.doi.org/10.1016/S0022-0000(72)80041-2},
    Volume = {6},
    Year = {1972},
    acmid = {1740360},
    bdsk-url-1 = {http://dx.doi.org/10.1016/S0022-0000(72)80041-2},
    date-added = {2013-12-13 12:19:08 +0000},
    date-modified = {2014-02-10 13:07:13 +0000},
    issue_date = {February, 1972},
    numpages = {14},
    doi = {10.1016/S0022-0000(72)80041-2}
}

@article{Itkin:1972:PSE:1739975.1740360, Address = {Orlando, FL, USA}, Author = {Itkin, V. E. and Zwinogrodzki, Z.}, File = {On Program Schemata Equivalence - Itkin, Itkin, Zwinogrodzki (0) (0) - a - a - a.pdf}, ISSN = {0022-0000}, Journal = {J. Comput. Syst. Sci.}, Month = {February}, Number = {1}, Pages = {88--101}, Publisher = {Academic Press, Inc.}, Title = {On Program Schemata Equivalence}, URL = {http://dx.doi.org/10.1016/S0022-0000(72)80041-2}, Volume = {6}, Year = {1972}, acmid = {1740360}, bdsk-url-1 = {http://dx.doi.org/10.1016/S0022-0000(72)80041-2}, date-added = {2013-12-13 12:19:08 +0000}, date-modified = {2014-02-10 13:07:13 +0000}, issue_date = {February, 1972}, numpages = {14}, doi = {10.1016/S0022-0000(72)80041-2} }