@article{DBLP:journals/jgt/McCuaig84,
  author    = {William McCuaig},
  title     = {A simple proof of {Menger's} theorem},
  journal   = {Journal of Graph Theory},
  volume    = {8},
  number    = {3},
  pages     = {427--429},
  year      = {1984},
  doi       = {10.1002/jgt.3190080311},
  timestamp = {Fri, 06 Jun 2014 20:09:21 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/journals/jgt/McCuaig84},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{MFMC_Countable-AFP,
  author  = {Andreas Lochbihler},
  title   = {A Formal Proof of the Max-Flow Min-Cut Theorem for Countable Networks},
  journal = {Archive of Formal Proofs},
  month   = may,
  year    = 2016,
  note    = {\url{http://isa-afp.org/entries/MFMC_Countable.shtml},
            Formal proof development},
  ISSN    = {2150-914x}
}

@article{Menger1927,
  author = {Menger, Karl},
  journal = {Fundamenta Mathematicae},
  language = {ger},
  number = {1},
  pages = {96-115},
  title = {{Zur allgemeinen Kurventheorie}},
  url = {http://eudml.org/doc/211191},
  volume = {10},
  year = {1927}
}
