@inbook{gibbons-2020-the, title={The School of Squiggol: A History of the Bird–Meertens Formalism}, ISBN={9783030549978}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-030-54997-8_2}, DOI={10.1007/978-3-030-54997-8_2}, booktitle={Formal Methods. FM 2019 International Workshops}, publisher={Springer International Publishing}, author={Gibbons, Jeremy}, year={2020}, pages={35–53} }