H. A. Partsch

A fast pattern matching algorithm derived by transformational and assertional reasoning

F. A. Stomp, H. A. Partsch, 2005, Formal Aspects of Computing.

Some Experiments in Transforming Towards Parallel Executability

H. A. Partsch, 1993 .