@inbook{HinzeMarsden2016,
  title = "Dragging Proofs Out of Pictures",
  author = "Hinze, R. and Marsden, D.",
  year = "2016",
  address = "Cham",
  booktitle = "A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday",
  editor = "Lindley, S. and McBride, C. and Trinder, P. and Sannella, D.",
  isbn = "978-3-319-30936-1",
  pages = "152--168",
  publisher = "Springer International Publishing",
  url = "http://dx.doi.org/10.1007/978-3-319-30936-1_8",
  doi = "10.1007/978-3-319-30936-1_8",
}