An Introduction to the Bird−Meertens Formalism

The Bird-Meertens Formalism, or `Squiggol', is a calculus for the construction of programs from their specifications by a process of equational reasoning. Developments are directed by considerations of data, as opposed to program, structure. <p> This paper presents a brief introduction...