32 }

    32 }

    33 

    33 

    34 @book{Pierce2015,

    34 @book{Pierce2015,

    35   author = {B.~C.~Pierce and C.~Casinghino and M.~Gaboardi and

    35   author = {B.~C.~Pierce and C.~Casinghino and M.~Gaboardi and

    36             M.~Greenberg and C.~Hri\c{t}cu and 

    36             M.~Greenberg and C.~Hri\c{t}cu and 

    38   title = {{S}oftware {F}oundations},

    38   title = {{S}oftware {F}oundations},

    39   year = {2015},

    39   year = {2015},

    40   publisher = {Electronic textbook},

    40   publisher = {Electronic textbook},

    41   note = {\url{http://www.cis.upenn.edu/~bcpierce/sf}}

    41   note = {\url{http://www.cis.upenn.edu/~bcpierce/sf}}

    42 }

    42 }