@inproceedings{jpck-cpp18, author = {Julian Parsert and Cezary Kaliszyk}, title = {Formal Microeconomic Foundations and the {First Welfare Theorem}}, booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Conference on Certified Programs and Proofs (CPP 2018)}, doi = {10.1145/3167100}, url = {http://doi.acm.org/10.1145/3167100}, pages = {91-101}, year = {2018}, editor = {June Andronick and Amy P. Felty}, publisher = {{ACM}}, }