David E. Rydeheard;Rod M. Burstall
-;-
A new framework for declarative programming
Theoretical Computer Science