@incollection{shamir:77,
    Author = {Shamir, Adi and Wadge, WilliamW.},
    BookTitle = {Automata, Languages and Programming},
    Editor = {Salomaa, Arto and Steinby, Magnus},
    File = {Data types as objects - Shamir, Wadge (0) (0) - a - a - o.pdf},
    ISBN = {978-3-540-08342-9},
    Pages = {465-479},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Data types as objects},
    URL = {http://dx.doi.org/10.1007/3-540-08342-1\_36},
    Volume = {52},
    Year = {1977},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-08342-1\_36},
    date-added = {2013-07-22 16:42:13 +0000},
    date-modified = {2013-07-22 16:42:13 +0000},
    doi = {10.1007/3-540-08342-1_36}
}

@incollection{shamir:77, Author = {Shamir, Adi and Wadge, WilliamW.}, BookTitle = {Automata, Languages and Programming}, Editor = {Salomaa, Arto and Steinby, Magnus}, File = {Data types as objects - Shamir, Wadge (0) (0) - a - a - o.pdf}, ISBN = {978-3-540-08342-9}, Pages = {465-479}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Data types as objects}, URL = {http://dx.doi.org/10.1007/3-540-08342-1_36}, Volume = {52}, Year = {1977}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-08342-1_36}, date-added = {2013-07-22 16:42:13 +0000}, date-modified = {2013-07-22 16:42:13 +0000}, doi = {10.1007/3-540-08342-1_36} }