@inproceedings{Jeannin:2012:CC:2364093.2364095,
    Address = {Berlin, Heidelberg},
    Author = {Jeannin, Jean-Baptiste and Kozen, Dexter},
    BookTitle = {Proceedings of the 14th International Conference on Descriptional Complexity of Formal Systems},
    File = {Computing with Capsules - Jeannin, Kozen (0) (0) - a - a - x.pdf},
    ISBN = {978-3-642-31622-7},
    Keywords = {capsules, functional programming, imperative programming, semantics, readme},
    Location = {Braga, Portugal},
    Pages = {1--19},
    Publisher = {Springer-Verlag},
    Series = {DCFS'12},
    Title = {Computing with Capsules},
    URL = {http://dx.doi.org/10.1007/978-3-642-31623-4\_1},
    Year = {2012},
    acmid = {2364095},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-31623-4\_1},
    date-added = {2014-03-01 12:04:16 +0000},
    date-modified = {2014-05-20 06:34:06 +0000},
    numpages = {19},
    doi = {10.1007/978-3-642-31623-4_1}
}

@inproceedings{Jeannin:2012:CC:2364093.2364095, Address = {Berlin, Heidelberg}, Author = {Jeannin, Jean-Baptiste and Kozen, Dexter}, BookTitle = {Proceedings of the 14th International Conference on Descriptional Complexity of Formal Systems}, File = {Computing with Capsules - Jeannin, Kozen (0) (0) - a - a - x.pdf}, ISBN = {978-3-642-31622-7}, Keywords = {capsules, functional programming, imperative programming, semantics, readme}, Location = {Braga, Portugal}, Pages = {1--19}, Publisher = {Springer-Verlag}, Series = {DCFS'12}, Title = {Computing with Capsules}, URL = {http://dx.doi.org/10.1007/978-3-642-31623-4_1}, Year = {2012}, acmid = {2364095}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-31623-4_1}, date-added = {2014-03-01 12:04:16 +0000}, date-modified = {2014-05-20 06:34:06 +0000}, numpages = {19}, doi = {10.1007/978-3-642-31623-4_1} }