gibbons-2020-the:
  type: chapter
  title: 'The School of Squiggol: A History of the Bird–Meertens Formalism'
  author: Gibbons, Jeremy
  date: 2020
  page-range: 35-53
  url: http://dx.doi.org/10.1007/978-3-030-54997-8_2
  serial-number:
    doi: 10.1007/978-3-030-54997-8_2
    isbn: '9783030549978'
    issn: 1611-3349
  parent:
    type: book
    title: Formal Methods. FM 2019 International Workshops
    publisher: Springer International Publishing