@misc{formare,
  title = {ForMaRE project webpage},
  howpublished = {\url{http://www.cs.bham.ac.uk/research/projects/formare/}},
  note =  {Accessed: 2015-05-08},
  year = {2015},
}

@misc{github,
  title = {ForMaRE github webpage},
  howpublished = {\url{https://github.com/formare/auctions/tree/master/isabelle/Auction/Vcg}},
  note = {Accessed: 2015-05-08},
  year = {2015},
}

@inproceedings{ec15,
  title={Sound Auction Specification and Implementation},
  author={Caminati, Marco B and Kerber, Manfred and Lange, Christoph and Rowat, Colin},
  organization={16th ACM Conference on Economics and Computation},
  note ={\url{https://doi.org/10.1145/2764468.2764511},
         \url{http://www.cs.bham.ac.uk/~mmk/publications/ec2015.pdf}},
  year={2015}
}

@incollection{cicm2014,
  title={Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?},
  author={Caminati, Marco B and Kerber, Manfred and Lange, Christoph and Rowat, Colin},
  booktitle={Intelligent Computer Mathematics},
  note={\url{http://arxiv.org/abs/1406.0774}},
  pages={236--251},
  year={2014},
  publisher={Springer}
}

@BOOK{cramton,
  editor =       {Peter Cramton and Yoav Shoham and Richard Steinberg},
  TITLE =        {Combinatorial auctions},
  PUBLISHER =    {MIT Press},
  YEAR =         {2006},
}

