@article{Dijkstra:1975:GCN:360933.360975,
    Address = {New York, NY, USA},
    Author = {Dijkstra, Edsger W.},
    File = {Guarded commands, nondeterminacy and formal derivation of programs - Dijkstra (0) (0) - a - a - h.pdf},
    ISSN = {0001-0782},
    Journal = {Commun. ACM},
    Keywords = {programming language design and classic},
    Month = {August},
    Number = {8},
    Pages = {453--457},
    Publisher = {ACM},
    Title = {Guarded commands, nondeterminacy and formal derivation of programs},
    URL = {http://doi.acm.org/10.1145/360933.360975},
    Volume = {18},
    Year = {1975},
    acmid = {360975},
    bdsk-url-1 = {http://doi.acm.org/10.1145/360933.360975},
    bdsk-url-2 = {http://dx.doi.org/10.1145/360933.360975},
    date-added = {2012-05-14 07:56:46 +0200},
    date-modified = {2013-01-05 22:16:32 +0000},
    issue_date = {Aug. 1975},
    numpages = {5},
    doi = {10.1145/360933.360975}
}

@article{Dijkstra:1975:GCN:360933.360975, Address = {New York, NY, USA}, Author = {Dijkstra, Edsger W.}, File = {Guarded commands, nondeterminacy and formal derivation of programs - Dijkstra (0) (0) - a - a - h.pdf}, ISSN = {0001-0782}, Journal = {Commun. ACM}, Keywords = {programming language design and classic}, Month = {August}, Number = {8}, Pages = {453--457}, Publisher = {ACM}, Title = {Guarded commands, nondeterminacy and formal derivation of programs}, URL = {http://doi.acm.org/10.1145/360933.360975}, Volume = {18}, Year = {1975}, acmid = {360975}, bdsk-url-1 = {http://doi.acm.org/10.1145/360933.360975}, bdsk-url-2 = {http://dx.doi.org/10.1145/360933.360975}, date-added = {2012-05-14 07:56:46 +0200}, date-modified = {2013-01-05 22:16:32 +0000}, issue_date = {Aug. 1975}, numpages = {5}, doi = {10.1145/360933.360975} }