@inproceedings{squiggol-history,
  title = "The School of Squiggol: A History of the Bird-Meertens Formalism",
  author = "Jeremy Gibbons",
  year = "2020",
  booktitle = "Formal Methods (Workshop on History of Formal Methods)",
  editor = "Troy Astarte",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/squiggol-history.pdf",
  volume = "12233",
  doi = "10.1007/978-3-030-54997-8_2",
}