@incollection{scott:71,
    Author = {Scott, Dana},
    BookTitle = {Symposium on Semantics of Algorithmic Languages},
    Editor = {Engeler, E.},
    File = {The lattice of flow diagrams - Scott (0) (0) - a - a - w.pdf},
    ISBN = {978-3-540-05377-4},
    Keywords = {denotational semantics and classic},
    Pages = {311-366},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Mathematics},
    Title = {The lattice of flow diagrams},
    URL = {http://dx.doi.org/10.1007/BFb0059703},
    Volume = {188},
    Year = {1971},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0059703},
    date-added = {2013-12-02 15:52:00 +0000},
    date-modified = {2013-12-02 15:52:20 +0000},
    file-2 = {../Nextcloud/BibDesk/S0019995878905624 (0).bib},
    doi = {10.1007/BFb0059703}
}

@incollection{scott:71, Author = {Scott, Dana}, BookTitle = {Symposium on Semantics of Algorithmic Languages}, Editor = {Engeler, E.}, File = {The lattice of flow diagrams - Scott (0) (0) - a - a - w.pdf}, ISBN = {978-3-540-05377-4}, Keywords = {denotational semantics and classic}, Pages = {311-366}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Mathematics}, Title = {The lattice of flow diagrams}, URL = {http://dx.doi.org/10.1007/BFb0059703}, Volume = {188}, Year = {1971}, bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0059703}, date-added = {2013-12-02 15:52:00 +0000}, date-modified = {2013-12-02 15:52:20 +0000}, file-2 = {../Nextcloud/BibDesk/S0019995878905624 (0).bib}, doi = {10.1007/BFb0059703} }