@inproceedings{DBLP:conf/cpp/KaliszykP18,
  title = "Formal microeconomic foundations and the first welfare theorem",
  author = "Cezary Kaliszyk and Julian Parsert",
  year = "2018",
  booktitle = "Proceedings of the 7th {ACM} {SIGPLAN} International Conference on Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January 8-9, 2018",
  editor = "June Andronick and Amy P. Felty",
  pages = "91--101",
  publisher = "{ACM}",
  url = "https://doi.org/10.1145/3167100",
  doi = "10.1145/3167100",
}