Formalization of the Bird-Meertens algorithmic calculus in the Deva meta-calculus (1990)

by M Weber
Venue:In [BJ90]. North-Holland