, {} @TechReport@InProceedings@Article{, author = { and }, title = {}, volume = {}, pages = {}, year = {}, journal = {},booktitle = {: Proceedings of the }, month = , year = {}, location = {},type = {{Technical Report}}, number = {}, institution = {}, year = {}, note = {}, url = {http://adam.chlipala.net/papers//} }