@article{boehm:dezani:notes:CUCH:73,
    Author = {B{\"o}hm, Corrado and Dezani, Mariangiola},
    File = {Notes on ``A CUCH-machine The automatic treatment of bound variables'' - Böhm, Dezani (0) (0) - a - a - s.pdf},
    ISSN = {0091-7036},
    Journal = {International Journal of Computer \& Information Sciences},
    Language = {English},
    Number = {2},
    Pages = {157-160},
    Publisher = {Kluwer Academic Publishers-Plenum Publishers},
    Title = {Notes on ``A CUCH-machine: The automatic treatment of bound variables''},
    URL = {http://dx.doi.org/10.1007/BF00976061},
    Volume = {2},
    Year = {1973},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF00976061},
    date-added = {2013-06-28 09:40:03 +0000},
    date-modified = {2013-06-28 09:40:03 +0000},
    doi = {10.1007/BF00976061}
}

@article{boehm:dezani:notes:CUCH:73, Author = {B{\"o}hm, Corrado and Dezani, Mariangiola}, File = {Notes on A CUCH-machine The automatic treatment of bound variables'' - Böhm, Dezani (0) (0) - a - a - s.pdf}, ISSN = {0091-7036}, Journal = {International Journal of Computer \& Information Sciences}, Language = {English}, Number = {2}, Pages = {157-160}, Publisher = {Kluwer Academic Publishers-Plenum Publishers}, Title = {Notes onA CUCH-machine: The automatic treatment of bound variables''}, URL = {http://dx.doi.org/10.1007/BF00976061}, Volume = {2}, Year = {1973}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF00976061}, date-added = {2013-06-28 09:40:03 +0000}, date-modified = {2013-06-28 09:40:03 +0000}, doi = {10.1007/BF00976061} }