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

by M Weber
Venue:In IFIP Working Conference on Programming Concepts and Methods