thys/Paper/document/root.bib
changeset 133 23e68b81a908
parent 126 e866678c29cb
child 172 cdc0bdcfba3f
equal deleted inserted replaced
132:03ca57e3f199 133:23e68b81a908
    16   booktitle = {Proc.~of the 23rd International Conference on Compiler Construction (CC)},
    16   booktitle = {Proc.~of the 23rd International Conference on Compiler Construction (CC)},
    17   pages     = {174--191},
    17   pages     = {174--191},
    18   year      = {2014},
    18   year      = {2014},
    19   volume    = {8409},
    19   volume    = {8409},
    20   series =    {LNCS}
    20   series =    {LNCS}
       
    21 }
       
    22 
       
    23 @book{Pierce2015,
       
    24   author = {B.~C.~Pierce and C.~Casinghino and M.~Gaboardi and
       
    25             M.~Greenberg and C.~Hri\c{t}cu and 
       
    26             V.~Sjoberg and B.~Yorgey},
       
    27   title = {{S}oftware {F}oundations},
       
    28   year = {2015},
       
    29   publisher = {Electronic textbook},
       
    30   note = {\url{http://www.cis.upenn.edu/~bcpierce/sf}}
    21 }
    31 }
    22 
    32 
    23 @Misc{Kuklewicz,
    33 @Misc{Kuklewicz,
    24   author = 	 {C.~Kuklewicz},
    34   author = 	 {C.~Kuklewicz},
    25   title = 	 {{R}egex {P}osix},
    35   title = 	 {{R}egex {P}osix},