@incollection{BoveDybjer:LerNet:2008,
    Address = {Berlin, Heidelberg},
    Author = {Bove, Ana and Dybjer, Peter},
    BookTitle = {Language Engineering and Rigorous Software Development},
    Editor = {Bove, Ana and Barbosa, Lu\'{\i}s Soares and Pardo, Alberto and Pinto, Jorge Sousa},
    File = {DependentTypesAtWork-a (0) - a - a - l.pdf},
    ISBN = {978-3-642-03152-6},
    Pages = {57--99},
    Publisher = {Springer-Verlag},
    Title = {Dependent Types at Work},
    URL = {http://dx.doi.org/10.1007/978-3-642-03153-3\_2},
    Year = {2008},
    acmid = {1614480},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-03153-3\_2},
    date-added = {2018-12-31 12:07:36 +0100},
    date-modified = {2020-09-07 13:46:29 +0200},
    numpages = {43},
    doi = {10.1007/978-3-642-03153-3_2}
}

@incollection{BoveDybjer:LerNet:2008, Address = {Berlin, Heidelberg}, Author = {Bove, Ana and Dybjer, Peter}, BookTitle = {Language Engineering and Rigorous Software Development}, Editor = {Bove, Ana and Barbosa, Lu\'{\i}s Soares and Pardo, Alberto and Pinto, Jorge Sousa}, File = {DependentTypesAtWork-a (0) - a - a - l.pdf}, ISBN = {978-3-642-03152-6}, Pages = {57--99}, Publisher = {Springer-Verlag}, Title = {Dependent Types at Work}, URL = {http://dx.doi.org/10.1007/978-3-642-03153-3_2}, Year = {2008}, acmid = {1614480}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-03153-3_2}, date-added = {2018-12-31 12:07:36 +0100}, date-modified = {2020-09-07 13:46:29 +0200}, numpages = {43}, doi = {10.1007/978-3-642-03153-3_2} }